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.
Présente deux exemples fondamentaux d'ensembles simpliciaux: le nerf d'une petite catégorie et l'ensemble simplicial singulier d'un espace topologique.