relative pseudomonad

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.