nLab well-pointed topical dagger 2-poset

Contents

Definition

A well-pointed topical dagger 2-poset is an elementarily topical dagger 2-poset $C$ such that for every object $A \in Ob(C)$ and $B \in Ob(C)$ and maps $f \in Map_C(A, B)$, $g \in Map_C(A, B)$ and $x \in Map_C(\mathbb{1}, A)$, $f \circ x = g \circ x$ implies $f = g$.

Examples

The dagger 2-poset Rel of sets and relations is a well-pointed topical dagger 2-poset.

See also

• elementarily topical dagger 2-poset