Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
复制标题
DOI：
10.1007/s00029-017-0361-3
复制
发表时间：
2018-07-01
影响因子：
1.4
通讯作者：
Winskel, G.
中科院分区：
文献类型：
--
作者：
Fiore, M.;Gambino, N.;Winskel, G.
我们介绍了相对假单胞菌的概念，该概念概括了假单胞菌的概念，并定义了与相对伪莫诺德相关的kleisli bicategory。然后，我们提出了一种有效的方法来定义相对假单胞菌的kleisli bicategory上的假单胞菌。结果适用于以均匀的方式定义分配器的生物学上的几个假单胞菌，并为在Operad理论，数学逻辑和理论计算机科学方面感兴趣的生物学的定义提供了统一的方法。
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 on the bicategory of profunctors in an homogeneous way and provide a uniform approach to the definition of bicategories that are of interest in operad theory, mathematical logic, and theoretical computer science.