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 monoidal category is strict if its associator and left/right unitors are identity natural transformations.
Very explicitely, it means that:
A strict monoidal category is a category equipped with an object and a bifunctor such that for every objects and morphisms , we have:
Last revised on May 20, 2023 at 08:22:17. See the history of this page for a list of all contributions to it.