Monoidal bicategories, differential linear logic, and analytic functors

Abstract: Differential linear logic, introduced by Ehrhard and Regnier, is an extension of linear logic with a differentiation operation. It is interesting both from a syntactic point of view, since it leads to a new technique to study λ-calculus (via Taylor series expansion of λ-terms), and a semantical one, as its models are categories in which morphisms can be differentiated. The talk will present a new model of differential linear logic, based on Joyal’s analytic functors, which are a functorial counterpart of exponential power series. This model can be understood as a ‘categorified’ version of the relational model of Linear Logic.

category theorylogic

Audience: researchers in the topic

Online logic seminar

Series comments: Description: Seminar on all areas of logic