Séance de cours
Cette séance de cours introduit le concept d'homotopie de gauche entre les morphismes, basé sur la construction d'un cylindre sur un espace topologique. Il montre que l'homotopie gauche est préservée sous post-composition par tout morphisme. La séance de cours explique la notion d'un bon cylindre et d'un très bon cylindre, illustrant ces concepts avec des exemples. Il couvre également lexistence de très bons cylindres, de faibles équivalences, et les propriétés de lhomotopie gauche dans une catégorie de modèle.