Introduit la construction de quasi-catégories à partir de catégories enrichies de Kan en définissant des catégories simplifiées et en construisant le foncteur nerveux simplicial.
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.