Showing changes from revision #1 to #2:
Added | ~~Removed~~ | ~~Chan~~ged

< entire morphism in a dagger 2-poset

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$.

category: category theory