En las matemáticas modernas, existe un área llamada Teoría de Categorías que estudia las relaciones entre diferentes áreas de las matemáticas. Más precisamente, los fundadores de la teoría de categorí...En las matemáticas modernas, existe un área llamada Teoría de Categorías que estudia las relaciones entre diferentes áreas de las matemáticas. Más precisamente, los fundadores de la teoría de categorías notaron que esencialmente los mismos teoremas y pruebas se podían encontrar en muchos campos matemáticos diferentes. En este tipo de situaciones, se puede hacer lo que se conoce como argumento categórico en el que se prueba el resultado deseado en abstracto, sin hacer referencia a los detalles de
