Kan extensions and lax idempotent pseudomonads

Theory and Applications of Categories

Volumn 26, Issue , 2011, Pages 1-29

  Marmolejo, F ^a   Wood, R J ^b  

^a UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO   (Mexico)

^b DALHOUSIE UNIVERSITY   (Canada)

Author keywords

(co )lax idempotent pseudomonads; KZ doctrines; Pseudo distributive laws

Indexed keywords

EID: 84856772361     PISSN: 1201561X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (14)

1. Marta C. Bunge Coherent extensions and relational algebras. Trans. Amer. Math. Soc. 197 (1974), 355-390.
2. Marta Bunge and Jonathon Funk. Singular coverings of toposes. Lecture Notes in Mathematics 1890, Springer. 2006.
3. C. Centazzo and R.J. Wood. An extension of the regular completion. Journal of pure and applied algebra, Vol. 175, No. 1, 2002, 93-108
4. A. Kock. Monads for which structures are adjoint to units, preprint, Aarhus Univ. (1973); revised version published in J. Pure Appl. Alg. 104 (1995), 41-59.
5. E. G. Manes. Algebraic Theories. Springer-Verlag, 1976.
6. F. Marmolejo. Doctrines whose structure forms a fully faithful adjoint string. Theory and Applications of Categories, Vol. 3, 1997, No. 2, pp 23-24.
7. F. Marmolejo. Distributive laws for pseudomonads. Theory and Applications of Categories, Vol. 5, No. 5, 1999, pp. 91-147.
8. F. Marmolejo, R. D. Rosebrugh, and R.J. Wood. A basic distributive law. Journal of Pure and Applied Algebra, Vol. 168 (2-3), 2002, pp. 209-226.
9. F. Marmolejo and R.J. Wood. Coherence for pseudodistributive laws revisited. Theory and Applications of Categories, Vol. 20, No. 6, 2008, pp. 74-84.
10. F. Marmolejo and R.J. Wood. Monads as extension systems - no iteration is necessary. Theory and Applications of Categories, Vol. 24, No. 4, 2010, pp. 84-113.
11. F. Marmolejo, R. Rosebrugh and R.J. Wood. Completely and totally distributive categories. Journal of Pure and Applied Algebra. To appear.
12. R. Street. The formal theory of monads. Journal of Pure and Applied Algebra, Vol. 2, 1972. 149-168.
13. R.F.C. Walters. A categorical approach to universal algebra. PhD Thesis. Australian National University, 1970.
14. V. Z̈oberlein. Doctrines on 2-categories, Math. Zeitschrift 148 (1976), 267-279.