Homotopy Type Theory
semiadditive dagger 2-poset > history (Rev #2, changes)
Showing changes from revision #1 to #2:
Added | Removed | Changed
Contents
Definition
A semiadditive dagger 2-poset is a dagger 2-poset such that
-
There exists an object called the zero object such that for each object , there exists a morphism such that for each object and morphism , .
-
For each object and , there exists a object called the biproduct of and , with morphisms and , such that
-
For each object , , and and morphism and , there exist a morphism such that and
-
For each object , , , and , and morphism and , there exists a morphism where .
Examples
The dagger 2-poset of sets and relations is a semiadditive dagger 2-poset.
See also
Revision on June 7, 2022 at 03:01:20 by
Anonymous?.
See the history of this page for a list of all contributions to it.