Monoidal Bicategories, Differential Linear Logic, and Analytic Functors

Explore a technical mathematics lecture that delves into bicategorical counterparts of linear explonential comonads and codereliction transformations in the context of linear and differential linear logic. Learn how these concepts extend to develop a differential calculus of Joyal's analytic functors between presheaf categories, drawing parallels to the extension of ordinary calculus from single to multiple variables. Gain insights from this collaborative research presented at the Topos Institute Colloquium, which bridges advanced mathematical concepts across category theory, logic, and differential calculus.