Journal of the European Mathematical Society· 2026Q1
Monoidal bicategories, differential linear logic, and analytic functors
- 1citations
- Q1SCImago
- 2026year
Short summary
This paper introduces bicategorical versions of linear exponential comonads and codereliction transformations, extending differential linear logic to monoidal bicategories and applying this to analytic functors.
AI-generated from the title and abstract; the full text is not read.
Key points
- Introduced bicategorical analogues of linear exponential comonads and codereliction transformations.
- Developed a framework for differential linear logic within monoidal bicategories.
- Extended the theory of analytic functors to operate between presheaf categories.
- Generalized differential calculus from single variables to analytic functors between presheaf categories.
AI-generated from the title and abstract; the full text is not read.
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.
The authors' abstract, as published at the source. Journal of the European Mathematical Society, 2026 · DOI ↗
Continue with a free account
Ask the paper: 3 free questions a day about this paper; save it, get its citation, new summaries every day for your field. Takeaways are Premium.
Continue free on the webSign in with Google or Apple; no card needed. You come back to this paper.
On your phone:
Field: Mathematical Physics
Mathematical PhysicsMathematics