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