Un estudio sistemático de la teoría de categorías nos permite probar resultados matemáticos sobre cualquiera de estos tipos de estructuras generales 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 en cada uno de estos tipos de estructuras generales a partir de los axiomas de una categoría.