Homotopy Type Theory division dagger 2-poset > history (Rev #2, changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

Contents

Definition

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

Examples

The dagger 2-poset of sets and relations is a division dagger 2-poset.

See also

Revision on June 6, 2022 at 22:53:38 by Anonymous?. See the history of this page for a list of all contributions to it.