Ê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 se concentre sur deux lemmes techniques cruciaux pour prouver le théorème fondamental de l'algèbre homotopique. Le premier lemme établit l'équivalence homotopique de deux objets, tandis que le second lemme implique une paire de Quillen et des morphismes entre des objets cofibrants et fibrants. L'instructeur présente des preuves détaillées pour les deux lemmes, préparant le terrain pour la prochaine preuve du théorème fondamental.