Couvre les propriétés et les structures des catégories de modèles, en mettant l'accent sur les factorisations, les structures de modèles et l'homotopie des cartes continues.
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.
Couvre les objets fibreux, le levage des cornes, et l'adjonction entre quasi-catégories et complexes kan, ainsi que la généralisation des catégories et complexes kan.