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.
Couvre les concepts de limites et de colimits dans la catégorie des espaces topologiques, en mettant l'accent sur la relation entre la colimit et les constructions limites et les adjonctions.