Rencontre, 15 mai 2025
Nous serons en amphi B, au troisième étage du site Monod de l'ENS de Lyon.
La rencontre sera diffusée à distance, des précisions seront disponibles plus tard sur cette page.
Programme
-
Daniel Gratzer (Aarhus University)Invited talk: TBA
-
Elies Harington (LIX and LIPN)
The notion of categorical model of linear logic is now well studied and established around the notion of linear-non-linear adjunction, which encompasses the previous notions of Seely categories, Lafont categories and linear categories. These categorical structures have counterparts in the realm of ∞-categories, which can thus be thought of as "weak", or "homotopical" models of linear logic. In this talk, we give a tour of categorical semantics of linear logic, and show examples of ∞-categorical models generalizing polynomial functors, generalized species, and models from linear algebra.
-
Hiroshi Unno (Research Institute of Electrical Communication, Tohoku University)Invited talk: TBA
