The formal theory of monads II

Citations of this article
Mendeley users who have this article in their library.


We give an explicit description of the free completion EM(K) of a 2-category K under the Eilenberg-Moore construction, and show that this has the same underlying category as the 2-category Mnd(K) of monads in K. We then demonstrate that much of the formal theory of monads can be deduced using only the universal property of this completion, provided that one is willing to work with EM(K) as the 2-category of monads rather than Mnd(K). We also introduce the wreaths in K; these are the objects of EM(EM(K)), and are to be thought of as generalized distributive laws. We study these wreaths, and give examples to show how they arise in a variety of contexts. © 2002 Elsevier Science B.V. All rights reserved.




Lack, S., & Street, R. (2002). The formal theory of monads II. Journal of Pure and Applied Algebra, 175(1–3), 243–265.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free