"We develop further the theory of operads and analytic functors. In particular, we introduce the bicategory OpdBimV 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 r...
Full description