CW Approximation Unicité

Cette séance de cours se concentre sur la preuve de l'unicité de l'approximation CW et du théorème de Whitehead. L'instructeur explique la construction de cartes induisant des isomorphismes sur des groupes homotopiques, en utilisant le concept de cylindre de cartographie. La séance de cours se penche sur le lemme de compression, les équivalences d'homotopie et la construction de poussoirs dans le contexte de l'invariance d'homotopie. L'instructeur démontre la construction du pushout homotopique et ses propriétés, en soulignant l'importance de comprendre les classes de cartes homotopiques. La séance de cours se termine par une discussion sur le foncteur dérivé de la gauche totale du pushout et son importance dans la définition des équivalences homotopiques. Tout au long de la séance de cours, l'instructeur fournit des explications détaillées et des exemples pour illustrer les concepts théoriques.