A semiadditive dagger category is a cocartesian monoidal dagger category $(C, \oplus, 0, i_A, i_B, 0_A)$ such that
In a semiadditive dagger category, the coproduct is called a biproduct and the initial object is called a zero object.
The dagger category Hilb of Hilbert spaces and continuous linear maps is a semiadditive dagger category.
The dagger category Rel of sets and relations is a semiadditive dagger category.
Created on May 3, 2022 at 22:06:10. See the history of this page for a list of all contributions to it.