Homotopy Type Theory
semiadditive dagger 2-poset > history (Rev #1)
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 April 20, 2022 at 05:54:10 by
Anonymous?.
See the history of this page for a list of all contributions to it.