Séminaires


Retour à la liste de tous les séminaires


An Introduction to Homotopy Type Theory

Le : 17/11/2015 14h00
Par : Eric Finster (LIX, Polytechnique)
Lieu : I 001
Lien web :
Résumé : This talk will give an overview of the homotopy theoretic interpretation of Martin-Lof type theory, focusing on homotopy theory as a constructive version of equality. Topics will include the stratification of types by h-level, the homotopy theoretic interpretation of the quantifiers, the univalence axiom and, time permitting, some examples of higher inductive types.