Explore les relations d'équivalence, la réflexivité, les classes d'équivalence et la construction de nouveaux ensembles basés sur des éléments équivalents.
Explore les functeurs, les transformations naturelles et la théorie des groupes, soulignant l'importance des comparaisons et de la préservation de la structure.