Symmetric Monoidal Categories — Mathematics Knowledge System

Overview

A symmetric monoidal category (SMC) is a category C with a 'tensor product' bifunctor otimes: C x C -> C, a unit object I, and natural isomorphisms making the tensor product associative, unital, and commutative up to coherent isomorphism. The symmetry isomorphism sigma_{A,B}: A otimes B -> B otimes A formalizes commutativity. SMCs are the algebraic setting for: parallel composition in process calculi, quantum mechanics (Hilbert spaces with tensor product), linear logic, and knot invariants. Mac Lane's coherence theorem says any two compositions of the structural isomorphisms between the same functors are equal.

Intuition

A symmetric monoidal category generalizes the category of vector spaces with tensor product, or sets with Cartesian product. The 'monoidal' part says you can combine objects (A otimes B) in an associative and unital way; the 'symmetric' part says A otimes B ~= B otimes A. The data consists of: the tensor product itself, the associativity isomorphism alpha: (A otimes B) otimes C ~= A otimes (B otimes C), the unit isomorphisms lambda: I otimes A ~= A and rho: A otimes I ~= A, and the symmetry sigma: A otimes B ~= B otimes A. Coherence: any diagram built from these natural isomorphisms commutes.

Formal Definition

Definition

A symmetric monoidal category is a tuple (C, otimes, I, alpha, lambda, rho, sigma) where: otimes: C x C -> C is a bifunctor (tensor product); I is the unit object; alpha_{A,B,C}: (A otimes B) otimes C -> A otimes (B otimes C) (associator, natural iso); lambda_A: I otimes A -> A and rho_A: A otimes I -> A (left/right unitors, natural isos); sigma_{A,B}: A otimes B -> B otimes A (symmetry, natural iso, sigma o sigma = id). These satisfy the pentagon axiom (for alpha), triangle axiom (for lambda, rho, alpha), and hexagon axiom (for sigma, alpha).

\alpha_{A,B,C}: (A \otimes B) \otimes C \xrightarrow{\sim} A \otimes (B \otimes C)

Associator

\sigma_{A,B}: A \otimes B \xrightarrow{\sim} B \otimes A,\quad \sigma_{B,A} \circ \sigma_{A,B} = \mathrm{id}

Symmetry (squares to identity)

\lambda_A: I \otimes A \xrightarrow{\sim} A,\quad \rho_A: A \otimes I \xrightarrow{\sim} A

Unit isomorphisms

\text{Mac Lane coherence: all diagrams of structural isos between same functors commute}

Coherence

Notation

Notation	Meaning
$\otimes$	Tensor product bifunctor
$I$	Monoidal unit object
$\sigma_{A,B}$	Symmetry isomorphism A otimes B -> B otimes A
$\alpha_{A,B,C}$	Associator (A otimes B) otimes C -> A otimes (B otimes C)

Theorems

Theorem 1: Mac Lane Coherence Theorem

In a monoidal category, any two natural isomorphisms between the same functors (built from alpha, lambda, rho) are equal. Equivalently: every monoidal category is monoidally equivalent to a strict one (where alpha, lambda, rho are all identities). For symmetric monoidal categories: additionally, any diagram built from alpha, lambda, rho, sigma also commutes. This means one need not check all diagrams -- just the pentagon and hexagon axioms suffice.

Theorem 2: Key Examples

Examples of SMCs: (Set, x, {*}) with Cartesian product and singleton; (Vect_k, tensor_k, k) with tensor product of vector spaces and ground field; (Mod_R, tensor_R, R) for modules over a commutative ring; (Ab, tensor, Z) abelian groups; (Rel, x, {*}) relations with Cartesian product; (2-Cob, amalgamated sum, empty) 2-dimensional cobordisms (used in TQFT).

Theorem 3: Commutative Monoid Objects in SMC

A commutative monoid object in an SMC (C, otimes, I) is an object A with morphisms mu: A otimes A -> A (multiplication) and eta: I -> A (unit) satisfying associativity, unit, and commutativity (mu o sigma = mu). Examples: commutative rings as monoids in Ab; commutative algebras as monoids in Vect_k; Frobenius algebras (self-dual monoids) appear in TQFT.

Worked Examples

1
Tensor product: for vector spaces V, W over k, V tensor_k W is the usual tensor product. This is a bifunctor.
$V \otimes_k W$
2
Unit: the ground field k itself (since k tensor_k V ~= V canonically via scalar multiplication).
$k \otimes_k V \cong V$
3
Associator: the canonical (V tensor W) tensor U ~= V tensor (W tensor U) via (v tensor w) tensor u -> v tensor (w tensor u).
4
Symmetry: sigma_{V,W}: V tensor W -> W tensor V defined on elementary tensors by sigma(v tensor w) = w tensor v. This squares to identity: sigma(sigma(v tensor w)) = sigma(w tensor v) = v tensor w.
$\sigma(v \otimes w) = w \otimes v$

✓ Answer

(Vect_k, tensor_k, k) is a symmetric monoidal category with symmetry sigma(v tensor w) = w tensor v.

Practice Problems

Hardfree response

What is a braided monoidal category? How does it differ from a symmetric monoidal one? Give an example.

Common Mistakes

Common Mistake

Conflating symmetric monoidal categories with Cartesian monoidal categories.

A Cartesian monoidal category has tensor product = Cartesian product and unit = terminal object. Cartesian categories are always symmetric monoidal (products commute up to iso), but not all SMCs are Cartesian. In Vect_k with tensor product, the unit is k (not a terminal object -- the terminal object of Vect_k is {0}). A key difference: in a Cartesian SMC, every object carries a comonoid structure (diagonal delta: A -> A x A), so every morphism is 'copyable'. In Vect (with tensor), copying is NOT a linear map, so the comonoid structure is absent. This distinction is fundamental in linear logic.

Quiz

The symmetry isomorphism sigma_{A,B} in an SMC satisfies:

sigma_{A,B} is an isomorphism, but sigma_{B,A} o sigma_{A,B} need not be identitysigma_{A,B} o sigma_{B,A} = id (the symmetry squares to identity)sigma_{A,A} = id for all Asigma is natural only in the first variable

Historical Background

Monoidal categories were introduced by Mac Lane in 1963 to axiomatize categories equipped with a tensor product. The coherence theorem ('all diagrams commute') was proven by Mac Lane in 1963. Symmetric monoidal categories (with the additional commutativity isomorphism) were studied by Eilenberg and Kelly in 1965. The braided monoidal category (where symmetry does not square to identity) was introduced by Joyal and Street in 1986 and appeared in knot theory via the Yang-Baxter equation. SMCs became central to categorical quantum mechanics (Abramsky-Coecke, 2004) and linear type theory.

1963
Mac Lane defines monoidal categories and proves coherence theorem
Saunders Mac Lane
1965
Eilenberg and Kelly study symmetric monoidal and closed categories
Samuel Eilenberg, G. Max Kelly
1986
Joyal and Street introduce braided monoidal categories
Andre Joyal, Ross Street
2004
Abramsky and Coecke use SMCs for categorical quantum mechanics
Samson Abramsky, Bob Coecke

Summary

SMC: category with tensor product otimes, unit I, natural isos alpha (associator), lambda/rho (units), sigma (symmetry with sigma^2 = id).
Coherence: all diagrams of structural isomorphisms commute (Mac Lane).
Key examples: (Set, x, {*}), (Vect_k, tensor, k), cobordism categories (TQFT).
Commutative monoids in SMC generalize commutative rings; Frobenius algebras appear in TQFT.

References

BookMac Lane, S. Categories for the Working Mathematician. 2nd ed. Springer, 1998. Ch. VII.
BookEtingof, P. et al. Tensor Categories. AMS, 2015.
WebsitenLab -- Symmetric monoidal category