nLab onto morphism in a dagger 2-poset

Contents

Idea

A morphism similar to how onto relations are defined in Rel

Definition

A morphism $f \in hom_A(a,b)$ of a dagger 2-poset $A$ is an onto morphism if $1_b \leq f \circ f^\dagger$.

See also

• functional morphism in a dagger 2-poset
• entire morphism in a dagger 2-poset
• injective morphism in a dagger 2-poset