nLab division dagger 2-poset

Context

Higher category theory

higher category theory

Definition

A division dagger 2-poset is a dagger 2-poset $C$ such that for every object $A \in Ob(C)$, $B \in Ob(C)$, and $C \in Ob(C)$ and morphisms $f \in Hom(A, B)$ and $g \in Hom(A, C)$ there is a morphism $g/f:Hom(B, C)$ such that for every morphism $h \in Hom(B, C)$, $(h \leq g/f) \iff (h \circ g = f)$.