The Unapologetic Mathematician

Mathematics for the interested outsider

Monoidal categories

We know that monoids are one of the most basic algebraic structures on which many others are built. Naturally, they’re one of the first concepts we want to categorify. That is, we want to consider a category with some extra structure making its objects behave like a monoid.

So let’s charge ahead and try to write down what this means. We need some gadget that takes two objects and spits out another. The natural thing to use here is a functor \underline{\hphantom{X}}\otimes\underline{\hphantom{X}}:\mathcal{C}\times\mathcal{C}\rightarrow\mathcal{C}. We’re using the same symbol we did for tensor products — and for a good reason — but we don’t need it to be that operation.

Now we need this functor to satisfy a couple rules to make it like a monoid multiplication. It should be associative, so (A\otimes B)\otimes C=A\otimes(B\otimes C) for all objects A, B, and C in \mathcal{C}. There should be an “identity” object \mathbf{1} so that A\otimes\mathbf{1}=A=\mathbf{1}\otimes A for all objects A\in\mathcal{C}.

We know that the natural numbers \mathbb{N} form a monoid under multiplication with 1 as the identity, and we know that the category \mathbf{FinSet} of finite sets categorifies the natural numbers with Cartesian products standing in for multiplication. So let’s look at it to verify that everything works out. We use \times as our monoidal structure and see that (A\times B)\times C=A\times(B\times C)… but it doesn’t really. On the left we have the set \{((a,b),c)|a\in A,b\in B,c\in C\}, and on the right we have the set \{(a,(b,c))|a\in A,b\in B,c\in C\}, and these are not the same set. What happened?

The problem is that the results are not the same, but are only isomorphic. The monoid conditions are equations

  • (a\cdot b)\cdot c=a\cdot(b\cdot c)
  • a\cdot1=a=1\cdot a

So when we categorify the concept we need to replace these by natural isomorphisms

  • \alpha_{A,B,C}:(A\otimes B)\otimes C\rightarrow A\otimes(B\otimes C)
  • \lambda_A:\mathbf{1}\otimes A\rightarrow A
  • \rho_A:A\otimes\mathbf{1}\rightarrow A

These say that while the results of the two functors on either side of the arrow might not be the same, they are isomorphic. Even better, the isomorphism should commute with arrows in \mathcal{C}, as described by the naturality squares. For instance, if we have an arrow f:A_1\rightarrow A_2 in \mathcal{C} then we can apply it before or after \lambda: \lambda_{A_2}\circ(1_\mathbf{1}\otimes f)=f\circ\lambda_{A_1} as arrows from \mathbf{1}\otimes A_1 to A_2.

As a side note, the isomorphism \alpha is often called the “associator”, but I don’t know of a similarly catchy name for the other two isomorphisms. When we’ve “weakened” the definition of a monoidal category like this we sometimes call the result a “weak monoidal category”. Alternatively — and this is the convention I prefer — we call these the monoidal categories, and the above definition with equalities instead of just isomorphisms gives “strict monoidal categories”.

Unfortunately, we’re not quite done with revising our definition yet. We’ll be taking our tensor products and identity objects and stringing them together to make new functors, and similarly we’ll be using these natural isomorphisms to relate these functors, but we need to make sure that the relationship doesn’t depend on how we build it from the basic natural isomorphisms. An example should help make this clearer.

Pentagon Diagram

This is the pentagon diagram. The vertices of the pentagon are the five different ways of parenthesizing a product of four different objects. The edges are single steps, each using one associator. Around the left, we apply the associator to the first three factors and leave D alone (use the identity arrow 1_D), then we apply the associator to A, B\otimes C, and D, and finally we apply the associator to the last three factors and leave A alone. Around the right, we apply the associator twice, first to A\otimes B, C, and D, and then to A, B, and C\otimes D. So we have two different natural isomorphisms from ((\underline{\hphantom{X}}\otimes\underline{\hphantom{X}})\otimes\underline{\hphantom{X}})\otimes\underline{\hphantom{X}} to \underline{\hphantom{X}}\otimes(\underline{\hphantom{X}}\otimes(\underline{\hphantom{X}}\otimes\underline{\hphantom{X}})). And we have to insist that they’re the same.

Here’s another example:
Triangle Diagram

This triangle diagram is read the same as the pentagon above: we have two different natural transformations from (\underline{\hphantom{X}}\otimes\mathbf{1})\otimes\underline{\hphantom{X}} to \underline{\hphantom{X}}\otimes\underline{\hphantom{X}}, and we insist that they be the same.

What’s happened is we’ve replaced equations at the level of sets with (natural) isomorphisms at the level of the category, but these isomorphisms are now subject to new equations. We’ve seen two examples of these new equations, and it turns out that all the others follow from these two. I’ll defer the justification of this “coherence theorem” until later.

For now, let’s go back to \mathbf{FinSet} We can use the universal property of the product to give an arrow \alpha_{A,B,C}:(A\times B)\times C\rightarrow A\times(B\times C), and we can verify that these form the components of a natural isomorphism. Similarly, we can use the singleton * as an identity object and determine isomorphisms \lambda_A:*\times A\rightarrow A and \rho_A:A\times *\rightarrow A. They do indeed satisfy the pentagon and triangle identities above, making \mathbf{FinSet} into a monoidal category.

In fact, you could establish the associator and other isomorphisms for \mathbf{FinSet} by looking at the elements of the sets and defining particular functions, but if we do it all by the universal properties of products and terminal objects we get a great generalization: any category with finite products (in particular, pairwise products and a terminal object) can use them as a monoidal structure. Dually, any category with finite coproducts can use them as a monoidal structure.

For any ring R, the category R\mathbf{-mod-}R of all R-R bimodules has a monoidal structure given by \otimes_R, and because of this monoidal categories are often called “tensor categories” and the monoidal structure a tensor product.

June 28, 2007 Posted by | Category theory | 22 Comments

This Week’s Finds #253

I haven’t been flagging the new postings of >TWF for a while, though I really should have. Anyhow, this “week” Baez talks about what exceptional Lie algebras have to do with elementary particles.

June 28, 2007 Posted by | Uncategorized | Leave a comment

   

Follow

Get every new post delivered to your Inbox.

Join 366 other followers