commutative monoidal category


Monoidal categories

monoidal categories

With symmetry

With duals for objects

With duals for morphisms

With traces

Closed structure

Special sorts of products



Internal monoids



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 (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 CatCat 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:

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

(gf)+(hk)=(g+h)(f+k) (g \circ f) + (h \circ k) = (g + h) \circ (f + k)

whenever all composites are defined.

Characterization up to equivalence

One might conjecture that a symmetric monoidal category is symmetric monoidally equivalent to a commutative monoidal category iff all its self-braidings

B x,x:xxxx B_{x,x} \colon x \otimes x \to x \otimes x

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.