|
|
Vendredi 25 Octobre
Heure: |
10:00 - 12:00 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Quelques remarques d'ordre logique sur la théorie des types homotopiques (1ère partie) |
Description: |
Christophe Fouqueré A partir du livre "Homotopy Type Theory", seront abordés les points suivants: théorie des types (à la Martin-Löf), notions (très) élémentaires d'homotopie et axiome d'univalence, hiérarchisation des types et conséquences sur la partie interprétant la logique (en particulier le tiers-exclus). Nous n'aborderons pas nombre de points (théorie des catégories, types homotopiques d'ordre supérieur, reconstruction des réels, ...) hautement intéressants de ce livre. |
|
|