Bicategories of algebras for relative pseudomonads

Nathanael Arkor, Philip Saville, Andrew Slattery

We introduce pseudoalgebras for relative pseudomonads and develop their theory. For each relative pseudomonad $T$, we construct a free--forgetful relative pseudoadjunction that exh…