Séance de cours
Théorie des types d'homotopie
Description
Cette séance de cours introduit le concept de la théorie des types homotopiques, en se concentrant sur les équivalences et les espaces contractibles. Il couvre des exemples d'équivalences d'homotopie, de poussoirs et d'applications de la théorie des types d'homotopie. La séance de cours explore également la définition des versions et des chemins engendrés dans la théorie des types homotopiques.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.