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.
Fournit un aperçu des propriétés de levage dans les catégories de modèles, en se concentrant sur leurs définitions et leurs implications pour les morphismes et les diagrammes commutatifs.
