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
Commutative monoidal categories are symmetric monoidal categories whose tensor product is strictly associative and unital (as for permutative categories), but also strictly commutative, in that the associators, unitors, and braidings are all the identity natural transformation.
Notice that the coherence theorem for symmetric monoidal categories only says that symmetric monoidal categories are symmetric monoidally equivalent to strict monoidal categories whose braidings, however, may not be given by the identity.
Commutative monoidal categories are the natural type of category that Petri nets freely generate (Meseguer-Montanari 90, Baez-Master 18, Section 2).
The symmetric monoidal category of line bundles on a topological space, or smooth line bundles? on a manifold, or invertible sheaves? on a variety or scheme, is symmetric monoidally equivalent to a commutative monoidal category under the usual tensor product of these structures.
Any abelian group object in is a commutative monoidal category.
A commutative monoidal category is a commutative monoid object in Cat with its cartesian product. Equivalently, it is an internal category in the category of commutative monoids.
Explicitly, the data of a commutative monoidal category are:
A commutative monoid of objects ,
a commutative monoid of morphisms ,
source and target monoid homomorphisms ,
an identity assigning monoid homomorphism and,
a homomorphism representing composition.
These homorphisms are required to satisfy the axioms of a category. In particular, because composition is a commutative monoid homomorphism, it satisfies the interchange law
whenever all composites are defined.
One might conjecture that a symmetric monoidal category is symmetric monoidally equivalent to a commutative monoidal category iff all its self-braidings
are identity morphisms. Note that since a commutative monoidal category has this property, and this property is invariant under symmetric-monoidal equivalence, the “only if” part of the characterization is certainly true.
This conjecture was proved in Kim 16 under the assumption that the objects of the monoidal category can be totally ordered (which is true, for instance, assuming the axiom of choice, or assuming the weaker ultrafilter principle which states that every filter extends to an ultrafilter).
José Meseguer, Ugo Montanari?, Petri Nets are Monoids (pdf)
John Baez, Jade Master, Section 2 of: Open Petri Nets (arXiv:1808.05415)
Youngsoo Kim?, A Note on Strict Commutativity of a Monoidal Product, Pure and Applied Mathematics Journal Volume 5, Issue 5, October 2016, pp. 155-159, url
Last revised on September 25, 2024 at 07:32:38. See the history of this page for a list of all contributions to it.