With braiding
With duals for objects
category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
With duals for morphisms
With traces
Closed structure
Special sorts of products
Semisimplicity
Morphisms
Internal monoids
Examples
Theorems
In higher category theory
A semiadditive dagger category is a cocartesian monoidal dagger category such that
In a semiadditive dagger category, the coproduct is called a dagger 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.
Last revised on July 10, 2025 at 08:55:07. See the history of this page for a list of all contributions to it.