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.
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.
