relative pseudomonad

A relative pseudomonad generalizes a pseudomonad relative to a 2-functor. This enables the construction of Kleisli bicategories of pseudomonads on $Prof$ (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.

- Marcelo Fiore, Nicola Gambino, Martin Hyland, Glynn Winskel,
*Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures*, arxiv

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