Construction de Grothendieck pour les omega-catégories strictes
Date(s) : 11/01/2024 iCal
11h00 - 12h30
Le but de cet exposé est de présenter un travail récent en
collaboration avec Dimitri Ara et Andrea Gagna, dans lequel nous avons
étudié les propriétés homotopiques de la construction de Grothendieck
ω-catégorique. À cette fin, je présenterai la construction de
Grothendieck ω-catégorique, que je motiverai comme une interprétation
sémantique dans les ω-catégories de la somme dépendante. Puis, dans un
second temps, je rappellerai brièvement le cadre homotopique nécessaire
pour comprendre le résultat principal que nous avons démontré avec
Dimitri et Andrea.
Emplacement
I2M Luminy - TPR2, Amphithéâtre Herbrand 130-134 (1er étage)
Catégories
