Kan extensions and lax idempotent pseudomonads
F. Marmolejo, R.J. Wood · Theory and applications of categories · 2011
We show that colax idempotent pseudomonads and their algebras can be presented in terms of right Kan extensions.Dually, lax idempotent pseudomonads and their algebras can be presented in terms of left Kan extensions.We also show that a distributive law of a colax idempotent pseudomonad over a lax idempotent pseudomonad has a presentation in terms of Kan extensions.