On Operads, Bimodules and Analytic Functors

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 Result, We Extend The Theory Of Distributors And The Formal Theory Of Monads.--page V.