L’homotopie droite et gauche unifiée : la relation homotopique

Cette séance de cours démontre que les morphismes homotopiques de gauche avec le domaine cofibrant sont également homotopiques de droite, et vice versa, conduisant à l'équivalence de l'homotopie de droite et de gauche pour les morphismes entre les objets bifibrants. Le concept d'équivalence d'homotopie entre les objets bifibrants est ensuite introduit, ainsi que la relation entre l'homotopie de gauche et de droite. La séance de cours couvre les propositions concernant les objets cofibrants et fibrants, ainsi que la définition des classes d'homotopie des morphismes. En outre, il explore la carte bien définie entre les classes d'homotopie des morphismes et la notion d'équivalence d'homotopie. Le lemme de Whitehead est présenté comme un sujet de conclusion.