A symmetric monoidal category is a monoidal category equipped with a braiding—natural isomorphisms τ_{X,Y}: X ⊗ Y → Y ⊗ X—satisfying the hexagon axioms. Symmetry means the braiding is self-inverse and commutative: τ_{Y,X} ∘ τ_{X,Y} = id. Symmetric monoidal categories model situations where the order of composition is irrelevant and appear in abelian groups, vector spaces, and coherent sheaves.
Study symmetry in abelian groups and vector spaces via the canonical swap isomorphism. Compare with non-symmetric examples by examining what happens when the hexagon axioms or self-inverse property fails. Verify that derived functors preserve symmetric monoidal structure.
Symmetry is not just the existence of an isomorphism X ⊗ Y → Y ⊗ X; it requires specific coherence axioms (hexagon). Not every monoidal category admits a symmetric structure—non-commutativity is fundamental in some settings. Symmetric monoidal structure is unique if it exists, but may not exist at all.
From your study of monoidal categories, you have a tensor product ⊗ that is associative up to natural isomorphism but says nothing about the relationship between A ⊗ B and B ⊗ A. A symmetric monoidal category adds a swap isomorphism τ_{A,B}: A ⊗ B → B ⊗ A with one crucial property beyond existence: self-inverse, meaning τ_{B,A} ∘ τ_{A,B} = id_{A⊗B}. Swapping A and B, then swapping back, gives you exactly what you started with. This is the categorical encoding of genuine commutativity of the tensor product.
The canonical example to hold in mind is the category Vect_k of vector spaces over a field k, with the usual tensor product. There is a canonical isomorphism V ⊗ W ≅ W ⊗ V defined by τ(v ⊗ w) = w ⊗ v on simple tensors. Applying τ twice: τ_{W,V}(τ_{V,W}(v ⊗ w)) = τ_{W,V}(w ⊗ v) = v ⊗ w. The self-inverse condition holds. The same structure appears in the category of abelian groups (Ab), the category of R-modules for any commutative ring R, and the category of sets with Cartesian product. In all these cases, the order of tensoring genuinely doesn't matter — swapping is a harmless bookkeeping rearrangement, not a topological event.
The self-inverse condition is what distinguishes symmetric from merely braided monoidal categories. In a braided category, τ_{B,A} ∘ τ_{A,B} need not equal the identity — there may be a residual "twist" after swapping and swapping back. Geometrically: in a braided category you track whether a strand crosses over or under another, and over-then-under is not the same as no crossing. In a symmetric category, over-crossing and under-crossing are identified — you cannot tell them apart. This is why symmetric monoidal categories cannot see knot topology: all crossings are equivalent, so Reidemeister moves are trivially satisfied and no nontrivial invariants emerge. The price of commutativity is loss of knot-sensitivity.
The hexagon axioms ensure the braiding is coherent with the associativity isomorphisms — they are inherited from the braided case. MacLane's coherence theorem for symmetric monoidal categories says that any well-formed diagram built from the structural isomorphisms commutes. This gives you the right to work informally: in a symmetric monoidal category, any two ways to rearrange a tensor product of objects into the same form give the same isomorphism. This coherence is what allows algebraic topologists and algebraic geometers to work with tensor products of sheaves, spectra, or chain complexes without tracking bookkeeping isomorphisms explicitly — they are all canonically identified by the symmetric structure.