## Examples of Monoid Objects

It’s all well and good to define monoid objects, but it’s better to see that they subsume a lot of useful concepts. The basic case is, of course, that a monoid object in is a monoid.

Another example we’ve seen already is that a ring with unit is a monoid object in — the category of abelian groups with the tensor product of abelian groups as the monoidal structure. Similarly, given a commutative ring , a monoid object in the category with tensor product of -modules as its monoidal structure is a -algebra with unit. For extra credit, how would we get rings and -algebras without units?

Here’s one we haven’t seen (and which I’ll talk more about later): given any category , the category of “endofunctors” has a monoidal structure given by composition of functors from to itself. This is the one I was thinking of that doesn’t have a symmetry, by the way. A monoid object in this category consists of a functor along with natural transformations and . These turn out to be all sorts of useful in homology theory, and also in theoretical computer science. In fact, the programming language Haskell makes extensive and explicit use of them.

And now for a really interesting class of examples. Let’s say we start with a monoidal category with monoidal structure . We immediately get a monoidal structure on the opposite category . Just define for objects. For morphisms we take and (which are in and , respectively), and define , which is in .

So what’s a monoid object in ? It’s a *contravariant* functor from to . Equivalently, we can write it as a covariant functor from to . It will be easier to just write down explicitly what this opposite category is.

So we need to take and reverse all the arrows. It’s enough to just reverse the arrows we threw in to generate the category, and their composites will be reversed as well. We’ll also have to dualize the relations we imposed to make everything work out right. So we’ll have an arrow called *co*multiplication and another arrow called the *co*unit. These we require to satisfy the *co*associative condition and the left and right *co*identity conditions .

Now a functor from this category to another monoidal category picks out an object and arrows (reusing the names) and satisfying coassociativity and coidentity conditions. We call such an object with extra structure a “comonoid object” in . In we call them “comonoids”. In we call them “corings” (with counit), in we call them “coalgebras” (with counit), and in we call them “comonads”. In general, we call this new model category — the “theory of comonoids”.

[...] now what about comonoid objects? We’ve got diagrams to talk about them [...]

Pingback by Diagrammatics for Monoid Objects « The Unapologetic Mathematician | July 25, 2007 |

[...] spaces over . That’s all well and good, but what’s a comonoid object? We’ve mentioned them before, but let’s be more explicit this time [...]

Pingback by Coalgebras « The Unapologetic Mathematician | November 5, 2008 |

[...] object in the category of vector space over . Then a compatible coalgebra structure makes it a comonoid object in the category of algebras over . Or in the other order, we have a monoid object in the category [...]

Pingback by Bialgebras « The Unapologetic Mathematician | November 6, 2008 |

[...] what’s a comonoid object in this 2-category? When we defined comonoid objects we used a model category . Now let’s augment it to a 2-category in the easiest way possible: [...]

Pingback by The Category of Representations of a Hopf Algebra « The Unapologetic Mathematician | November 18, 2008 |