Teoría de Categorías y Fundamentos
La teoría de categorías estudia las estructuras matemáticas y sus relaciones a través de objetos y mapas que preservan la estructura, ofreciendo un lenguaje unificador y un fundamento alternativo y estructural para las matemáticas.
Definition
La teoría de categorías es la rama de las matemáticas que abstrae la estructura común de las teorías matemáticas mediante el estudio de categorías, colecciones de objetos junto con morfismos componibles, y los functores y transformaciones naturales entre ellos, enfatizando las relaciones sobre la constitución interna.
Scope
Esta área abarca categorías, functores y transformaciones naturales, propiedades universales y las nociones unificadoras de límite y colímite, functores adjuntos y el lema de Yoneda, y la teoría de topos, que generaliza la teoría de conjuntos y vincula la teoría de categorías con la lógica y con fundamentos alternativos de las matemáticas.
Sub-topics
Core questions
- ¿Cómo se pueden describir uniformemente construcciones matemáticas dispares mediante propiedades universales?
- ¿Qué significa que dos categorías sean equivalentes o que una construcción sea functorial?
- ¿Cómo capturan los functores adjuntos soluciones óptimas en todas las matemáticas?
- ¿Cómo sirve un topos como universo generalizado de conjuntos y como entorno para la lógica?
Key theories
- Lema de Yoneda
- Un objeto se determina hasta el isomorfismo por la red de morfismos que entran o salen de él, de modo que cada objeto se incrusta fielmente en una categoría de functores, formalizando el punto de vista estructural.
- Propiedades universales y límites
- Muchas construcciones, como productos, núcleos y completaciones, se caracterizan como soluciones universales a problemas de mapeo, unificándolas como límites o colímites.
- Functores adjuntos
- Las adjunciones emparejan functores que van en direcciones opuestas mediante una correspondencia natural de morfismos, capturando construcciones libres, functores olvidadizos y una vasta gama de procesos matemáticos óptimos.
Clinical relevance
La teoría de categorías proporciona un lenguaje unificador utilizado en todas las matemáticas modernas y la informática teórica: organiza el álgebra, la topología y la geometría, subyace al álgebra homológica y la geometría algebraica, proporciona la semántica de la teoría de tipos y la programación funcional, y, a través de la teoría de topos, ofrece una alternativa estructural a los fundamentos de la teoría de conjuntos.
History
La teoría de categorías fue introducida por Eilenberg y Mac Lane en 1945 para dar un significado preciso a las transformaciones naturales en la topología algebraica. Grothendieck reformuló la geometría algebraica con métodos categóricos y de la teoría de topos en las décadas de 1950 y 1960, y Lawvere avanzó la teoría de categorías como fundamento de las matemáticas a través de la teoría elemental de la categoría de conjuntos y la teoría axiomática de los topos.
Key figures
- Samuel Eilenberg
- Saunders Mac Lane
- Alexander Grothendieck
- F. William Lawvere
Related topics
Seminal works
- maclane1998
- awodey2010
- riehl2016
Frequently asked questions
- ¿Por qué se llama a la teoría de categorías "tonterías abstractas"?
- El apodo, utilizado con cariño, refleja cómo la teoría de categorías razona a un alto nivel de generalidad utilizando solo objetos y morfismos, a menudo demostrando resultados de manera uniforme sin referencia a los detalles internos de las estructuras involucradas. La generalidad es una característica que hace que los argumentos sean ampliamente aplicables.
- ¿Puede la teoría de categorías reemplazar la teoría de conjuntos como fundamento?
- La teoría de topos y las teorías de conjuntos estructurales, como la teoría elemental de la categoría de conjuntos de Lawvere, proporcionan fundamentos categóricos adecuados para gran parte de las matemáticas. Se debate si deberían reemplazar la teoría de conjuntos, pero ofrecen una alternativa estructural genuina que enfatiza las relaciones en lugar de la pertenencia.