Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Published version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Abstract
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 present an efficient method to define pseudomonas on the Kleisli bicategory of a relative pseudomonad. The results are applied to define several pseudomonads on the bicategory of profunctors in an homogeneous way, thus providing a uniform approach to the definition of bicategories that are of interest in operad theory, mathematical logic, and theoretical computer science.
Description
Keywords
math.CT, math.CT
Journal Title
Selecta Mathematica, New Series
Conference Name
Journal ISSN
1022-1824
1420-9020
1420-9020
Volume Title
24
Publisher
Springer Science and Business Media LLC