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é.
Démontre l'équivalence entre l'homologie simpliciale et singulière, prouvant les isomorphismes pour les complexes s finis et discutant de longues séquences exactes.
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.
Explore le bien-fondé et la convergence des problèmes électromagnétiques, y compris l'interpolation de continuité, la loi de Darcy et les propriétés de surjectivité.