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.
Introduit des transformations naturelles dans la théorie de groupe et la théorie de catégorie, en mettant l'accent sur leur définition et leur signification.
