verifying that a quiver of actions is an action morphism