Al contrario de las otras respuestas dadas, sostengo que la teoría de categoría superior es actualmente el marco más viable para formalizar las matemáticas en su conjunto. No puedo pensar en ninguna rama de las matemáticas que no se haya formalizado en el lenguaje de las categorías.
- La teoría de Topos maneja la lógica, en sus muchas formalizaciones.
- La teoría de las especies de Joyal maneja la combinatoria.
- El álgebra en su conjunto se formaliza mejor en teoría de categorías.
- La geometría algebraica depende en gran medida de las poleas, gracias al trabajo revolucionario de Grothendieck en los años sesenta y setenta.
- Los manejos modernos de la topología dependen en gran medida de los marcos categóricos, especialmente la topología algebraica.
- El análisis en el camino de la geometría diferencial ha visto una formalización muy hermosa en el lenguaje de los topos superiores gracias a la construcción de Urs Schreiber sobre el trabajo anterior de Bill Lawvere, et alii .
- La teoría de conjuntos está totalmente subsumida por la teoría de categorías, y en un sentido la teoría de categorías es el “siguiente paso” después de la teoría de conjuntos.
No estoy seguro de cuánto se ha utilizado para expresar la teoría de categorías de la teoría de modelos, pero creo que es probable que la teoría de topos superiores esté bien equipada para la tarea. La teoría de la computación goza de profundas conexiones con la teoría de categorías a través de la correspondencia Curry-Howard-Lambek.