Évènement

Elies Harington
LIX & LIPN
https://www.lix.polytechnique.fr/Labo/Elies.HARINGTON/

Date(s) : 19/06/2025   iCal
11h00 - 12h30

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. In this talk, I will show counterparts to these categorical
structures in the realm of ∞-categories, which can thus be thought of as
« weak », or « homotopical » models of linear logic. If time permits, I will show
some examples of such models by analogy with more well-known categorical models
(relations, domains, species, vector spaces…).

Emplacement
I2M Luminy - TPR2, Salle de Séminaire 304-306 (3ème étage)

Catégories

• Séminaire