Couvre les opérations associatives et commutatives dans la programmation parallèle, en utilisant des exemples mathématiques et en discutant des défis dans la préservation de l'associativité.
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.
