Mathematics for the interested outsider

Monoid Objects

Now it’s time to start getting into the fun things we can do with monoidal categories. For my first trick, I’m going to build a neat monoidal category and show you what we can do with it.

Any monoidal category has an “identity” object , so to make it a bit more interesting let’s throw in a single non-identity object . Then we get for free all the monoidal products built with and . Let’s make our lives easier by saying our category is strict. Then all our objects look like — the monoidal product of copies of . We can see that , and that .

This is all well and good, but we still don’t really have much going on here. All the morphisms in sight are identities. We don’t even have associators or unit isomorphisms because our category is strict. So let’s throw in a couple morphisms, and of course all the other ones we can build from them.

First let’s make our category symmetric. That is, we’ll add a “twist” that swaps the copies of . We’ll insist that it satisfy . We can then build a braiding by swapping the copies of one at a time. This seems a little silly at first glance. If had any additional structure — if it was a set, for instance — this would be clearly useful. As it stands, though, the use isn’t apparent. Don’t worry, we’ll get to it.

Next, let’s add a morphism . From this we can get a bunch of other morphisms. For example, or . We can use this one to increase the number of copies of in a product in many different ways, depending on where we stick the new copy of .

But we could also add a new copy of in one place and use the symmetric structure to move it to a different place. For example, instead of adding a copy on the right with , we could instead use to add a copy on the left and then swap the two. Notice also that and , which means that these two morphisms are and . The naturality of says that these two are really the same. So, adding a new copy of and then moving it around immediately to another position is the same as just adding it in the new position right away.

Now let’s add a way to reduce the number of copies. We’ll use a morphism . Of course, we get for free such compositions as and . There will be some equalities arising from the naturality of , but nothing too important yet.

So let’s throw in a few more equalities. Let’s say that and that . And of course there are other equalities we can build from these. The whole thing should start looking a bit familiar by this point.

Okay, so we’ve got ourselves a strict monoidal category with a bunch of objects and a few morphisms satisfying some equations. So what? Well, let’s start looking at symmetric monoidal functors from into other symmetric monoidal categories.

The first monoidal category we’ll look at is , which uses the cartesian product as its monoidal structure. What does a monoidal functor look like? Well, is some set , and by monoidality we see that — the cartesian product of copies of . In particular, : a set with a single element.

The symmetry for is the natural isomorphism defined by . In particular, we get .

The morphism now becomes , which picks out a particular point of . Let’s call this point , just like the function that picks it out.

The morphism is now a function . The equations that we imposed in must still apply here: and . Since we’re in the category of sets, let’s just write these all out as functions and see what they do to particular elements.

The first equation is between two functions with source , so let’s pick an arbitary element to follow. The left side of the equation sends this to , while the right sends it to . The equation now reads . But that’s just the associative law for a composition! The second equation is between three functions that all have source . Starting with an arbitrary element we read off the equation . And that’s the left and right unit law for a composition!

So what we see here is that gets the structure of a monoid. And given any monoid we can construct such a symmetric monoidal functor with and sending and to the multiplication and identity functions.

Can we do better? Sure we can. Let’s say we’ve got a homomorphism between two monoids . We can consider this to be a function between their underlying sets. Immediately we get as well, applying to each entry of the product. This is clearly symmetric. Saying that preserves the multiplication of these monoids is just the same as saying that , which is the naturality square for . Similarly, preserving the identities is the same as making the naturality square for commute. So a monoid homomorphism is the same as a natural transformation between these functors!

Let’s back up a bit and give our toy category a better name. Let’s call it — the “theory of monoids”. What we’ve just seen is that our familiar category of monoids is “really” the category of symmetric monoidal functors from the “theory of monoids” to sets. We now slightly shift our terminology and instead of calling such a set-with-extra-structure a “monoid”, we call it a “monoid object in “.

And now the road is clear to generalize. Given any symmetric monoidal category we can take the category of “monoid objects in “.

[UPDATE]: On reflection, the symmetric property isn’t really essential. That is, we can just consider the category of monoidal functors from to . In fact, there’s one example I’ll be getting to that doesn’t have a symmetry. In general, though, when the target category has a symmetry we’ll usually ask that our functors preserve that structure as well.

[UPDATE]: You know what? Scrap that whole symmetry bit altogether. Sometimes the target category will have symmetry and sometimes that will be helpful, but it’s just not worth it in the general theory. I’m almost sorry I brought it up in the first place.

[…] allows this equivalence to come to the fore. The algebra structure makes the bialgebra a monoid object in the category of vector space over . Then a compatible coalgebra structure makes it a comonoid […]

I’m a bit confused here. with the updates, do you mean drop the symmetry requirement from when it’s first introduced?

And, as a comprehension check, I’m supposing that it’s the naturality requirement on that characterizes it as a swap, given that the two objects are the same. E.g. it’s the equality
that tells us that the two copies of are being interchanged.

Yes, I decided to scrap that in the updates later, since I don’t really need to use it.

And yes, that’s the naturality condition. But then, what do you really mean by a “swap”? The naturality is important so that (in a sense) you’re just operating on the places instead of the “elements”. Then you need it to be its own inverse, because that’s what a swap does.

On first reading of par 4, I didn’t see how could be described as a twist or swap, with or without symmetry, since it looked like just some arrow from to ; no visible interchange of positions. Then ahah, recall naturality, which does provide a sense in which copies of can be seen as changing positions. Getting metaphorical, perhaps you can think of symmetry as the issue of whether the history of place-changes is being recorded (no symmetry), or just the final resulting change of places.

About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.