Séance de cours
Cette séance de cours se concentre sur des ensembles de classes déquivalence dhomotopie gauche de morphismes dans le contexte de catégories de modèles. L'instructeur démontre comment les fibrations acycliques induisent des isomorphismes sur des ensembles de classes d'homotopie et fournit les conditions dans lesquelles la composition préserve l'homotopie gauche. La séance de cours couvre la notation et la terminologie liées aux classes d'homotopie gauche, la carte de composition bien définie, et l'injectivité et la surjectivité de certaines fonctions. Les stratégies pour construire des homotopies et prouver les relations d'homotopie de gauche sont discutées en détail.