No.
{Mi comprensión de la teoría de categorías es rudimentaria. Por lo tanto, no puedo dar buenos ejemplos.}
La teoría de categorías formaliza varias teorías y disciplinas matemáticas diversas. Con más detalle, la teoría de categorías identifica muchos aspectos similares en áreas muy diferentes de las matemáticas y, por lo tanto, proporciona un lenguaje unificador común.
- ¿Cómo se convirtió David Yang en un genio de las matemáticas?
- ¿Las matemáticas son realmente el lenguaje del dinero?
- ¿De qué manera puedo conceptualizar la multiplicación o exponenciación no entera?
- En términos simples, ¿qué es un conjunto "clopen"?
- ¿Qué es una red / sistema de Turing en relación con la formación de patrones biológicos?
Contrariamente a la creencia popular, la mayoría de las matemáticas se desarrollan para usos específicos, sin formalización integral. El progreso matemático continúa pasando de un ejemplo específico a uno más general. La teoría de categorías es una de las disciplinas matemáticas más abstractas.
Esta formalización es muy muy importante. Por un lado, aclara muchas ideas, sin obstrucciones por detalles irrelevantes. Además, si las diferentes disciplinas de las matemáticas están “unificadas” por el lenguaje formal, ayudará a abordar el mismo problema desde diferentes direcciones. Además, una metodología puede formalizarse y aplicarse en otros lugares.
También vea este libro: David I. Spivak explica mucho mejor que yo la importancia de la teoría de categorías en la introducción.
Página en mit.edu