Explore l'équivalence homotopique dans les complexes en chaîne, mettant l'accent sur la construction d'objets de chemin et la caractérisation homotopique gauche/droite.
Discute de la façon dont les paires CW satisfont la propriété d'extension d'homotopie par le biais de rétractions et de propriétés d'extension d'homotopie.
Couvre l'héritage, le polymorphisme et le casting dans la programmation orientée objet, en mettant l'accent sur la factorisation du code et la manipulation générique d'objets.
Explore l'invariance de l'homotopie et son application à des groupes d'homologie de quotients, mettant en valeur l'isomorphisme et l'homotopie en chaîne.
