Pour apprendre la théorie homotopique des types , on a le choix entre étudier les travaux des chercheurs comme André Joyal, Emily Riehl où Michael Shulman, ou bien lire le livre « Homotopy type theory « sur le blog du même nom :
Il existe de nombreux articles sur les blogs Henosophia:
#HOTT The Book : théorie des catégories et des précatégories
Pour les obtenir taper « #HoTT The book Henosophia »
Mais il y a aussi des cours de Nicola Gambino, sur sa page :
http://www1.maths.leeds.ac.uk/~pmtng/#Slides_of_talks
dont j’ai obtenu l’adresse dans un cours d’André Joyal :
Cliquer pour accéder à download
Le cours I est ici :
Cliquer pour accéder à HoTT-Lecture1.pdf
Il existe une ∞-catégorie de tous les types, qui est peut être un ∞-topos :
Voir l’article original 627 mots de plus