A coherent approach to pseudomonads

Stephen Lack*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

33 Citations (Scopus)

Abstract

The formal theory of monads can be developed in any 2-category, but when it comes to pseudomonads, one is forced to move from 2-categories to Gray-categories (semistrict 3-categories). The first steps in developing a formal theory of pseudomonads have been taken by F. Marmolejo, and here we continue that program. We exhibit a Gray-category Psm such that a Gray-functor from Psm to a Gray-category A is precisely a pseudomonad in A; this may be viewed as a complete coherence result for pseudomonads. We then describe the pseudoalgebras for a pseudomonad, the morphisms of pseudoalgebras, and so on, in terms of a weighted limit in the sense of Gray-enriched category theory. We also exhibit a Gray-category Psa such that a Gray-functor from Psa to A is precisely a pseudoadjunction in A, show that every pseudoadjunction induces a pseudomonad, and that every pseudomonad is induced by a pseudoadjunction, provided that A admits the limits referred to above. Finally we define a Gray-category PSM(A) of pseudomonads in A and show that it contains A as a full reflective subcategory, which is coreflective if and only if A admits these same limits.

Original languageEnglish
Pages (from-to)179-202
Number of pages24
JournalAdvances in Mathematics
Volume152
Issue number2
Publication statusPublished - 25 Jun 2000
Externally publishedYes

Fingerprint

Dive into the research topics of 'A coherent approach to pseudomonads'. Together they form a unique fingerprint.

Cite this