Séminaire en ligne,
25 février 2021
Zeinab Galal (IRIF, Univ. Paris Diderot), Stable Species of Structures
Programme
- 25 février 2021, 10:00 - 12:00
Résumé
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.