Are monads monadic? - MathOverflow

Are monads monadic?

2010-03-31T02:02:16Z

Is there some sort of monad whose algebras are monads? How about if we are internal to a bicategory B? Are internal monads in B monadic? Certainly not always, as otherwise free T-multicategories a la Leinster would always exist. What is known?

Answer by Charles Rezk for Are monads monadic?

2010-03-31T02:28:55Z

In the book by Barr and Wells ("Toposes, Triples, Theories"), they describe the construction of a free monad on an endofunctor $F:C\to C$. They certainly require some conditions on $F$ in order to build the free monad, but I don't remember anymore what they are. I think that requiring $C$ to cocomplete and $F$ to commute with filtered colimits are sufficient conditions, but it's been a long time ...

This suggests that you can describe monads as algebras for the free monad monad, which will be a monad on a suitable full subcategory of the category $\mathrm{End}(C)$ of endofunctors of $C$, if $C$ is cocomplete.

Answer by Daniel Schäppi for Are monads monadic?

2010-04-04T22:18:57Z

In the book "Toposes, Triples and Theories", Barr and Wells study the question when a particular endofunctor admits a free monad. This is the case if the underlying category is complete and cocomplete and if the endofunctor preserves filtered colimits (we say that such a functor is finitary).

The question remains whether the resulting adjunction between monads on $C$ and endofunctors on $C$ is monadic. If $C$ is locally finitely presentable (lfp), this is true: Steve Lack showed in

"On the monadicity of finitary monads", Journal of Pure and Applied Algebra, Volume 140, Number 1, 21 July 1999 , pp. 65-73(9) (available here)

that the forgetful functor $\mathrm{Mnd}_f(C) \rightarrow \mathrm{End}_f(C)$ from finitary monads on a lfp category $C$ to finitary endofunctors is monadic. Note that both these categories are again lfp categories, and we don't need universes to make sense of them, essentially because a finitary endofunctor is determined by what it does on a set of objects.

The result remains true if we consider categories and functors enriched in a complete and cocomplete symmetric monoidal closed category $V$ which is lfp as a closed category.

Answer by Tom Leinster for Are monads monadic?

2010-04-05T00:17:48Z

An important reference on free monoids (and by extension, free monads) is:

G.M. Kelly, A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on, Bulletin of the Australian Mathematical Society 22 (1980), 1--83.

It's 83 pages long and famously impenetrable. But those who've braved it say that it contains just about every free monoid construction that anyone's ever thought of.

So if you want to construct a free monoid/monad, the question is whether it's easier to (a) read Kelly's paper, or (b) do it yourself and cite Kelly anyway (on the assumption that your construction is probably in there, somewhere).