Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Séminaire

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


Secured By miniOrange