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 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.
Couvre le calcul des nerfs et la réalisation géométrique dans des ensembles simpliciaux, ainsi que des foncteurs entrant et sortant de la catégorie des ensembles simpliciaux.
