Repository logo
 

Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures

Published version
Peer-reviewed

Type

Article

Change log

Authors

Gambino, N 
Hyland, M 
Winskel, G 

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

Volume Title

24

Publisher

Springer Science and Business Media LLC