works on
analytic functors 1differential linear logic 1linear exponential comonad 1monoidal bicategories 1presheaf categories 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

math.CT2026

Monoidal bicategories, differential linear logic, and analytic functors

M. Fiore, N. Gambino, M. Hyland

The paper defines bicategorical analogues of linear exponential comonads and codereliction transformations, connecting monoidal bicategories with differential linear logic, and use…