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

< onto morphism in a dagger 2-poset

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

category: category theory