Un estudio sistemático de la teoría de categorías nos permite probar resultados generales sobre cualquiera de estos tipos de estructuras matemáticas a partir de los axiomas de una categoría.
Un estudio sistemático de la teoría de categorías nos permite probar resultados generales sobre cada uno de estos tipos de estructuras matemáticas a partir de los axiomas de una categoría.