Teoría de las Categorías y Funtores

Aunque Lawvere es una figura central en la teoría de categorías, este libro es menos conocido fuera de los círculos especializados. Se conecta con el libro de referencia al profundizar en una aplicación específica y poderosa de las categorías (los topos), mostrando cómo la estructura categórica puede usarse para fundamentar la lógica de una manera que va más allá de la algebraica directa.

A diferencia de las introducciones más formales y axiomáticas, este libro de Lawvere busca desmitificar la teoría de categorías, haciéndola accesible a un público más amplio. Es 'nonobvious' porque se enfoca en la intuición y la aplicación conceptual, en lugar de en la pura abstracción formal como muchos otros textos sobre el tema, ofreciendo una perspectiva fresca sobre los mismos fundamentos.

Saunders Mac Lane, junto con Samuel Eilenberg, es uno de los fundadores de la teoría de categorías. Mientras que muchos de sus trabajos son fundamentales, este libro profundiza en las implicaciones filosóficas y estructurantes de las categorías en la lógica, buscando una comprensión más profunda de cómo las estructuras matemáticas se relacionan y se construyen a través de las categorías y funtores, lo que se alinea con la exploración de estructuras fundamentales en el libro de referencia.

Este libro se conecta a un nivel profundo al abordar las implicaciones y aplicaciones de la teoría de categorías en campos matemáticos centrales como el álgebra y la topología, mostrando cómo las estructuras categóricas proporcionan un marco unificador para estas disciplinas. Comparten la misma arquitectura de pensamiento al ver las matemáticas a través del lente de las relaciones y transformaciones, que es la esencia de la teoría de categorías y funtores.

Aunque no es un libro directamente de teoría de categorías, la topología general, especialmente vista desde una perspectiva estructuralista, sentó muchas de las bases para el pensamiento categórico. Franz es un autor alemán menos conocido en el ámbito anglófono, y su enfoque en las estructuras fundamentales de la topología precede y se alinea con la manera en que la teoría de categorías abstracta estas estructuras. Su oscuridad reside en que no es una referencia principal en inglés.

Pedicchio y Tholen son matemáticos cuyo trabajo, aunque reconocido en el ámbito categórico, no es tan ampliamente difundido más allá de círculos especializados como los autores anglosajones más comunes en listas de recomendación. Esta obra profundiza en cómo las categorías sirven como fundamentos para otras estructuras matemáticas, lo que la hace una conexión 'oscura' pero relevante al ámbito del libro de referencia.

Aunque no es un libro de matemáticas abstractas, 'Teoría de las Categorías y Funtores' es fundamentalmente sobre la 'estructura' de las matemáticas. Gordon aborda el concepto de 'estructura' en un sentido físico y de ingeniería, ofreciendo una paralelismo intrigante en cómo diferentes campos abordan la idea de interconexiones y relaciones que definen un todo, lo cual es la esencia de una categoría. La conexión es 'estructural' en el sentido de que ambos exploran cómo se construyen y mantienen las 'estructuras', aunque en ámbitos muy distintos (físico vs. matemático).

Este libro es 'estructural' en un sentido filosófico, ya que analiza la estructura subyacente del progreso científico y la evolución del conocimiento. La teoría de categorías proporciona un marco para entender cómo las estructuras matemáticas se relacionan y transforman. De manera análoga, Kuhn analiza cómo las 'estructuras' del pensamiento científico (paradigmas) se relacionan, persisten y son reemplazadas, compartiendo un interés en la dinámica de las 'estructuras' a un nivel meta-cognitivo.