PofoliaShared via Pofolia

Journal of the European Mathematical Society· 2026Q1

Monoidal bicategories, differential linear logic, and analytic functors

M. Fiore, N. Gambino, M P Hyland

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.

TakeawaysIn the app
Key pointsIn the app
Ask the paperIn the app

The rest is in the Pofolia app

Takeaways, key points and questions to the paper; new summaries every day for your field. Free.

Sign in on the web to open

Field: Mathematical Physics

Mathematical PhysicsMathematics