## Braidings and Symmetries

So we’ve got monoidal categories that categorify the notion of monoids. In building up, we had to weaken things, refusing to talk about “equalities” of objects. Instead we replaced them with (natural) isomorphisms and then talked about equalities of morphisms. Now we’re ready to specialize a bit.

Many monoids we’re interested in are commutative: for all elements and of our monoid . So what does this look like up at the category level? We learned our lesson with associativity, so we already know we should look for a natural isomorphism with components to swap objects around the monoidal product.

Of course, there’s a coherence condition:

If we start with and want to get to , we could pull past , associate, and then pull past . We could also associate, pull past , and associate again. And, naturally, we want these two to be the same. There’s another coherence condition we’ll need, but first let’s notice something.

Since is an isomorphism, there’s an inverse . Of course, we also have sitting around. Now the obvious thing is for these two to be the same, but actually that’s *not* what we want. In fact, there are very good reasons to allow them to be different. So in general we’ll have two different ways of pulling past , either with a or with a , and both of them should satisfy the hexagon identity shown above. That’s our second coherence condition.

We call such a natural transformation satisfying (both forms of) the hexagon identity a “braiding”, and a monoidal category equipped with such a “braided monoidal category”, for a very good reason I’ll talk about tomorrow (hint). Now if by chance the braiding *is* its own inverse, we call it a “symmetry”, and call the category a “symmetric monoidal category”.

We say that a monoidal functor is braided (symmetric) if its monoidal structure plays well with both braidings. That is, if . Notice that if is strictly monoidal this just says that .

Both of these kinds of categories give back commutative monoids when we decategorify. This tells us that even though commutativity is relatively straightforward down at the level of sets, categorification lets us tease apart a subtle distinction and get a better insight into what’s “really going on”.

We know that any category with finite products (or coproducts) can use them as a monoidal structure. As an exercise, use the universal properties of products to come up with a braiding, then show that it’s symmetric.

Another exercise: show that any braiding satisfies and . That is, when we have a braiding the left and right units are determined by each other and the braiding.

[...] I said yesterday, the analogue of commutativity for a monoidal category is called a braiding. The name comes from a deep connection between braided monoidal categories and braid groups. [...]

Pingback by The Category of Braids « The Unapologetic Mathematician | July 3, 2007 |

[...] categories. If you want to learn more about braidings, check out some of John Armstrong’s excellent posts over at The Unapologetic Mathematician, he is going into the nitty-gritty of it [...]

Pingback by Chain complexes as Graded C[epsilon]-modules, part 3: Bicomplexes and Superalgebras « The Everything Seminar | July 4, 2007 |

[...] A closed category is a symmetric monoidal category where each functor has a specified right adjoint called an [...]

Pingback by Closed Categories « The Unapologetic Mathematician | August 1, 2007 |

[...] Braidings on Span 2-Categories Now that we can add a monoidal structure to our 2-category of spans, we want to add something like a braiding. [...]

Pingback by Braidings on Span 2-Categories « The Unapologetic Mathematician | October 14, 2007 |

[...] I don’t think I’ve mentioned is that the category of vector spaces over a field is symmetric. Indeed, given vector spaces and we can define the “twist” map by setting and [...]

Pingback by Cocommutativity « The Unapologetic Mathematician | November 19, 2008 |

[...] So what’s the tensor product? Well, we start with the vector space tensor product and try to find a cone. This should give an adjunction . So let’s read this as another logical statement. A linear map is positive (and thus in ) if Expanding this condition on , we get that is positive if But is the usual closure adjunction in the category of vector spaces, turning a function-valued function of one variable into a vector-valued function of two variables. And we want every positive map from to to correspond to exactly one in just this way. Thus the cone on that makes the tensor product for into a left adjoint to the exponential is that of all finite sums of tensor pairs of positive elements. That is, if with all the and positive in their respective cones. As an exercise, verify that this tensor product is also symmetric. [...]

Pingback by Ordered Linear Spaces II « The Unapologetic Mathematician | May 15, 2009 |