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.
Keywords: (co-) lax idempotent pseudomonads, KZ-doctrines, pseudo-distributive laws
2000 MSC: 18B35, 06D10, 06B23
Theory and Applications of Categories, Vol. 26, 2012, No. 1, pp 1-29.
Published 2012-01-11.
http://www.tac.mta.ca/tac/volumes/26/1/26-01.dvi
http://www.tac.mta.ca/tac/volumes/26/1/26-01.ps
http://www.tac.mta.ca/tac/volumes/26/1/26-01.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/26/1/26-01.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/26/1/26-01.ps