## Definition ## A morphism $f:hom_A(a,b)$ of a [[dagger 2-poset]] $A$ is an **entire dagger morphism** if $1_a \leq f^\dagger \circ f$. ## See also ## * [[onto dagger morphism in a dagger 2-poset]] * [[functional dagger morphism in a dagger 2-poset]] * [[one-to-one dagger morphism in a dagger 2-poset]] * [[map in a dagger 2-poset]] category: category theory