## Definition ## A morphism $f:hom_A(a,b)$ of a [[dagger 2-poset]] $A$ is a **functional dagger morphism** if $f \circ f^\dagger \leq 1_b$. ## See also ## * [[onto 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]] * [[map in a dagger 2-poset]] category: category theory