Monoidal bicategories, differential linear logic, and analytic functors
Year: 2026
Type: article
Abstract: 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 study of linear logic, and of a codereliction transformation, introduced to study differential linear logic via differential categories. As an application, we extend the differential calculus of Joyal’s analytic functors to analytic functors between presheaf categories, just as ordinary calculus extends from a single variable to many variables.
DOI: 10.4171/jems/1810
Authors: Marcelo Fiore, Nicola Gambino, Martin Hyland
Institutions: University of Cambridge, University of Manchester
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W4396822395