Explore la résolution du problème de l'extension homotopique, la construction de complexes CW relatifs, et assure l'unicité dans les approximations CW.
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.
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 les propriétés de la carte exponentielle dans les groupes de Lie et leurs algèbres, y compris la douceur et la relation entre les sous-groupes et les algèbres.