Couvre l'adjonction entre les ensembles simpliciaux et les catégories enrichies en simpliciation, y compris la préservation des inclusions et la construction des catégories homotopiques.
Couvre l'héritage, le polymorphisme et le casting dans la programmation orientée objet, en mettant l'accent sur la factorisation du code et la manipulation générique d'objets.
Explore les phases d'équilibre dans la modélisation de la qualité de l'eau, illustrant avec des exemples de précipitations minérales et d'ajustement du pH.