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.
Explore les transformations naturelles entre les functeurs, en mettant l'accent sur leurs propriétés de préservation de la composition et leur signification dans la théorie des catégories.
