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
homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
The coherence theorem and strictification theorem for symmetric monoidal categories may each take several forms.
Every diagram in a free symmetric monoidal category made up of associators and unitors and symmetries (braidings), and in which both sides have the same underlying permutation, commutes.
The free symmetric monoidal category on some given data is equivalent to the free symmetric strict monoidal category on the same data.
Every symmetric monoidal category is equivalent to an unbiased symmetric monoidal category?.
Every symmetric monoidal category is symmetric-monoidally equivalent to a symmetric strict monoidal category.
The forgetful 2-functor has a strict left adjoint and the components of the unit are equivalences in .
Note that in a symmetric strict monoidal category, the associators and unitors are identities, but the symmetry is not in general.
Saunders Mac Lane. “Natural associativity and commutativity”. Rice University Studies 49, 28-46 (1963). (Rice Digital Scholarship Archive)
Saunders Mac Lane. Categories for the Working Mathematician (Chapter 11).
Andre Joyal and Ross Street. “Braided tensor categories”. Adv. Math 1993
Paul Wilson, Dan Ghica, Fabio Zanasi: String Diagrams for Strictification and Coherence, Logical Methods in Computer Science (2024) [arXiv:2201.11738]
See also section 5 of
Last revised on October 9, 2024 at 14:58:02. See the history of this page for a list of all contributions to it.