Une étude systématique de la théorie des catégories nous permet ensuite de démontrer des résultats généraux sur l’un quelconque de ces types de structures mathématiques à partir des axiomes d’une catégorie.
Une étude systématique de la théorie des catégories nous permet ensuite de prouver des résultats généraux sur chacun de ces types de structures mathématiques à partir des axiomes d'une catégorie.