Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Cette séance de cours présente le lemme de Whitehead, un résultat fondamental de la théorie de lhomotopie, qui stipule quun morphisme entre des objets bifibrants dans une catégorie de modèle est une équivalence faible si et seulement si cest une équivalence dhomotopie. L'instructeur prouve ce lemme étape par étape, en montrant comment le concept d'équivalence d'homotopie se généralise dans le contexte des catégories de modèles. Grâce à une analyse détaillée de la preuve, la séance de cours met en évidence l'importance des objets bifibrants et de la relation d'homotopie dans l'établissement de faibles équivalences. La présentation met l'accent sur l'analogie avec la théorie classique de l'homotopie des espaces, fournissant une compréhension profonde du lemme de Whitehead et de ses implications.