Current browse context:
math.CT
Change to browse by:
References & Citations
Mathematics > Category Theory
Title: Monoidal bicategories, differential linear logic, and analytic functors
(Submitted on 9 May 2024)
Abstract: We develop further the theory of monoidal bicategories by introducing and studying bicategorical counterparts of the notions of a linear explonential 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.
Link back to: arXiv, form interface, contact.