- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
Full Description
The authors develop further the theory of operads and analytic functors. In particular, they introduce the bicategory $\operatorname{OpdBim}_{\mathcal{V}}$ of operad bimodules, that has operads as $0$-cells, operad bimodules as $1$-cells and operad bimodule maps as 2-cells, and prove that it is cartesian closed. In order to obtain this result, the authors extend the theory of distributors and the formal theory of monads.
Contents
Introduction
Background
Monoidal distributors
Symmetric sequences
The bicategory of operad bimodules
Cartesian closure of operad bimodules
Appendix A. A compendium of bicategorical definitions
Appendix B. A technical proof
Bibliography.
