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 matemáticos sobre todos estos tipos de estructuras generales a partir de los axiomas de una categoría.