Braided monoidal category
Object in category theory / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Braided monoidal category?
Summarize this article for a 10 year old
In mathematics, a commutativity constraint on a monoidal category
is a choice of isomorphism
for each pair of objects A and B which form a "natural family." In particular, to have a commutativity constraint, one must have
for all pairs of objects
.
A braided monoidal category is a monoidal category equipped with a braiding—that is, a commutativity constraint
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]