Séminaire en ligne,
Feb. 25, 2021
Zeinab Galal (IRIF, Univ. Paris Diderot), Stable Species of Structures
Schedule
- Feb. 25, 2021, 10:00 - 12:00
Abstract
In this talk, I will present a new stable model of classical linear logic based on groupoids and profunctors between them. It can be seen as a refinement of the model of generalized species of structures introduced by Fiore et al. This refinement is based on an orthogonality on subgroups of endomorphisms for each object in a groupoid and it can also be translated to an orthogonality on the category of presheaves associated with a groupoid. The resulting bicategory is a model of differential linear logic where the functors in the cartesian closed Kleisli bicategory are precisely those satisfying a stability condition as studied by Berry, Girard, Taylor and many others. This is joint work with Marcelo Fiore and Hugo Paquet.