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.
Couvre la construction de catégories d'homotopie à partir de quasi-catégories, y compris les définitions, les compositions et les relations d'homotopie.
