Homotopy Type Theory
semiadditive dagger category > history (Rev #2, changes)
Showing changes from revision #1 to #2:
Added | Removed | Changed
Contents
Definition
A semiadditive dagger category is a cocartesian monoidal dagger category with
- an identity for
- an identity for
- an identity for and .
In a semiadditive dagger category, the coproduct is called a biproduct and the initial object is called a zero object.
Examples
(…)
See also
References
- Martti Karvonen. Biproducts without pointedness (abs:1801.06488)
- Chris Heunen and Martti Karvonen. Limits in dagger categories. Theory and Applications of Categories, 34(18):468–513, 2019.
- Chris Heunen, Andre Kornell. Axioms for the category of Hilbert spaces (arXiv:2109.07418)
Revision on February 14, 2022 at 22:09:39 by
Anonymous?.
See the history of this page for a list of all contributions to it.