nLab relative pseudomonad

Relative pseudomonads

Relative pseudomonads


A relative pseudomonad generalizes a pseudomonad relative to a 2-functor. This enables the construction of Kleisli bicategories of pseudomonads on ProfProf (e.g. for defining generalized multicategories) by means of pseudo-distributive laws as if the presheaf category construction were a monad with Prof as its Kleisli bicategory, even though it is not for size reasons.

An example is the free cocompletion construction on a small category.


Last revised on January 8, 2020 at 22:52:01. See the history of this page for a list of all contributions to it.