Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
The Eilenberg–Moore construction is essentially a 2-functor from the “2-category of monads on locally small categories” to the “2-category of locally small categories”, modulo certain size issues. In the reverse direction, it is known that any functor such that for some functor , where and are the respective forgetful functors, must come from a unique morphism of monads . (This is basically a stronger version of Theorem 6.3 in Toposes, triples and theories.) It is also not hard to come up with functors that do not arise in this fashion.
But what about the 2-cells? Is every natural transformation between functors induced from a morphism of monads also induced by a 2-cell between the monad morphisms? Clearly, the answer is no – any natural transformation that doesn’t factor through the forgetful functor can’t be induced by a 2-cell between monad morphisms. But I haven’t been able to come up with a proof or counterexample when I assume that the natural transformation does factor through .
Is every natural transformation between functors induced from a morphism of monads also induced by a 2-cell between the monad morphisms? Clearly, the answer is no – any natural transformation that doesn’t factor through the forgetful functor can’t be induced by a 2-cell between monad morphisms. But I haven’t been able to come up with a proof or counterexample when I assume that the natural transformation does factor through .
Good question – the short answer is ’yes’.
Just to lay all the cards on the table, I assume that by a monad morphism from a monad to a monad , you mean a pair where the natural transformation satisfies an obvious compatibility with the monad multiplications and the monad units (taking the shape of a pentagon and a unit, much as in the case of a distributive law, which is actually a special case). (I point this out because if you don’t think about it too hard, one could guess the opposite direction for !)
By a 2-cell from a monad morphism to a monad morphism , you must mean a transformation satisfying an obvious compatibility with the ’s.
Okay, suppose functors have lifts to functors ; then, as you say, and become endowed with appropriate transformations , , making them monad morphisms. Now suppose we have a transformation which “descends” to a transformation , in the sense that , where , are the forgetful functors from Eilenberg-Moore categories. We want to show is a transformation between the monad morphisms.
Here is the critical diagram you need to stare at:
It’s not too hard to see, using the fact that is a monad morphism and one of the unit laws for a monad, that the long top horizontal composite is ; similarly, the long bottom horizontal composite is . So we’re done if we show the entire diagram commutes. Now the right-hand rectangle commutes essentially because lifts to a transformation . The left rectangle commutes because it’s applied to a naturality square for in disguise – one has to rewrite and , again using the fact that and are monad morphisms, to remove the disguise.
Perfect, thanks! I got stuck because I subdivided that diagram too much…
Yup! The same thing happened to me :-)
1 to 4 of 4