Univalence dans la catégorie des catégories
Félix Loubaton
Laboratoire J. A. Dieudonné, Nice
https://www.researchgate.net/scientific-contributions/Felix-Loubaton-2189591166
Date(s) : 19/05/2022 iCal
11h00 - 12h30
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
I2M Luminy - Ancienne BU, Salle Séminaire2 (RdC)
Catégories