Showing changes from revision #1 to #2: Added | Removed | Changed
A unital dagger 2-poset is a dagger 2-poset CC with an object 𝟙:Ob(C)\mathbb{1}:Ob(C) such that for every morphism f:Hom(𝟙,𝟙)f:Hom(\mathbb{1}, \mathbb{1}), f≤1 𝟙f \leq 1_\mathbb{1}, and for every object A:Ob(C)A:Ob(C) , there is a an morphismu:A→𝟙u:A \to \mathbb{1}onto morphism such that1u A ≤ : u A ∘ →u †𝟙 1_A u_A:A \leq \to u \mathbb{1} \circ u^\dagger.
The dagger 2-poset of sets and relations is a unital dagger 2-poset.
Revision on April 20, 2022 at 15:39:21 by Anonymous?. See the history of this page for a list of all contributions to it.