Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
We introduce the notion of a relative pseudomonad, which generalizes the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then present an efficient method to define pseudomonads on the Kleisli bicategory of a relative pseudomonad. The results are applied to define several pseudomonads …