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.
Explore les propriétés de base de l'homotopie gauche dans les catégories de modèles, en mettant l'accent sur les faibles équivalences et les relations de morphisme.
Couvre l'adjonction entre les ensembles simpliciaux et les catégories enrichies en simpliciation, y compris la préservation des inclusions et la construction des catégories homotopiques.
