Félix Loubaton
Laboratoire J. A. Dieudonné, Nice
https://www.researchgate.net/scientific-contributions/Felix-Loubaton-2189591166
Date(s) : 19/05/2022 iCal
11 h 00 min - 12 h 30 min
En s’inspirant de la théorie des types homotopiques, on définira la notion d’univers et d’univalence dans la catégorie des catégories. On essayera ensuite de montrer que tout univers est forcément univalent. L’objectif est de faire une telle preuve en utilisant uniquement le langage catégorique ainsi que certains axiomes vérifiés par la catégorie des catégories.
Emplacement
Site Sud, Luminy, Ancienne BU, Salle Séminaire2 (RdC)
Catégories