On operads, bimodules and analytic functors
Category Theory
2017-09-29 v2 Algebraic Topology
Abstract
We develop further the theory of operads and analytic functors. In particular, we introduce a bicategory that has operads as 0-cells, operad bimodules as 1-cells and operad bimodule maps as 2-cells, and prove that this bicategory is cartesian closed. In order to obtain this result, we extend the theory of distributors and the formal theory of monads.
Cite
@article{arxiv.1405.7270,
title = {On operads, bimodules and analytic functors},
author = {Nicola Gambino and André Joyal},
journal= {arXiv preprint arXiv:1405.7270},
year = {2017}
}
Comments
v2: introduction rewritten, some material reorganised, terminology revised (we now call "tame bicategories" the bicategories with local reflexive coequalizers, which are preserved by composition on both sides), 109 pages, to appear in Memoirs of the AMS