To develop further the theory of operads and analytic functions, Gambino and Joyal introduce the bicategory OpdBimv of operad bimodules, which has operads as 0-cells, operad bimodules as 1-cells, and operad bimodule maps as 2-cells. Then they prove that it is Cartesian closed. In order to obtain this result, they extend the theory of distributors and the formal theory of monads. After reviewing the background, they cover monoidal distributors, symmetric sequences, the bicategory of operad bimodules, and the Cartesian closure of operad bimodules. Annotation ©2017 Ringgold, Inc., Portland, OR (protoview.com)
