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.
Couvre le concept de cohomologie de groupe, se concentrant sur les complexes de chaîne, les complexes de cochain, les produits de tasse et les anneaux de groupe.
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.
