Un estudi sistemàtic de la teoria de categories ens permet demostrar resultats generals sobre qualsevol d'aquests tipus d'estructures matemàtiques a partir dels axiomes d'una categoria .
Un estudi sistemàtic de la teoria de categories ens permet demostrar resultats generals sobre cadascun d'aquests tipus d'estructures matemàtiques a partir dels axiomes d'una categoria .