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 identités triangulaires, les transformations naturelles, les diagrammes commutatifs et la notation d'adjonction dans la théorie de groupe et de catégorie.
