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