Monoidal bicategories, differential linear logic, and analytic functors

M. Fiore, N. Gambino, M. Hyland

We develop further the theory of monoidal bicategories by introducing and studying bicategorical counterparts of the notions of a linear exponential comonad, as considered in the s…