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
monoidal dagger-category?
With traces
Closed structure
Special sorts of products
Semisimplicity
Morphisms
Internal monoids
Examples
Theorems
In higher category theory
A cocartesian monoidal category is a monoidal category whose monoidal product functor is given by the coproduct (and so whose tensor unit is an initial object “”).
This is the dual notion of that of a cartesian monoidal categories.
Sometime we refer to a category as cocartesian monoidal just to indicate that it has all finite coproducts.
The terminology appears for instance in:
Last revised on June 4, 2023 at 14:45:57. See the history of this page for a list of all contributions to it.