Braided monoidal category

In mathematics, a commutativity constraint ${\displaystyle \gamma }$ on a monoidal category ${\displaystyle {\mathcal {C}}}$ is a choice of isomorphism ${\displaystyle \gamma _{A,B}:A\otimes B\rightarrow B\otimes A}$ for each pair of objects A and B which form a "natural family." In particular, to have a commutativity constraint, one must have ${\displaystyle A\otimes B\cong B\otimes A}$ for all pairs of objects ${\displaystyle A,B\in {\mathcal {C}}}$.

A braided monoidal category is a monoidal category ${\displaystyle {\mathcal {C}}}$ equipped with a braiding—that is, a commutativity constraint ${\displaystyle \gamma }$ that satisfies axioms including the hexagon identities defined below. The term braided references the fact that the braid group plays an important role in the theory of braided monoidal categories. Partly for this reason, braided monoidal categories and other topics are related in the theory of knot invariants.

Alternatively, a braided monoidal category can be seen as a tricategory with one 0-cell and one 1-cell.

Braided monoidal categories were introduced by André Joyal and Ross Street in a 1986 preprint.^[1] A modified version of this paper was published in 1993.^[2]