Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures

Marcelo Fiore, Nicola Gambino, Martin Hyland +1

We introduce the notion of a relative pseudomonad, which generalises the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then pr…