Categorías para el Trabajador Matemático

Mientras que 'Categorías para el Trabajador Matemático' establece las bases abstractas de las categorías matemáticas, este libro explora cómo las categorías y estructuras de pensamiento en sociología (y en general) no son dadas a priori, sino que son el resultado de procesos sociales dinámicos y contingentes, desafiando la noción de estructuras inmutables incluso en dominios aparentemente objetivos.

Aunque 'Categorías para el Trabajador Matemático' es un texto puramente técnico, Hofstadter, al igual que Mac Lane, se sumerge profundamente en la estructura subyacente de los sistemas abstractos. Ambos libros exploran cómo los elementos se relacionan y se organizan para formar totalidades complejas, donde las "categorías" o "sistemas formales" no solo clasifican sino que también generan y definen sus propios dominios de existencia y significado, a menudo de forma autorreferencial.

'Categorías para el Trabajador Matemático' busca un lenguaje y una estructura para unificar distintas áreas de las matemáticas. De manera similar, Frege busca los fundamentos lógicos y las categorías conceptuales más básicas de la aritmética. Ambos autores comparten la ambición de construir una teoría unificada y rigurosa desde sus cimientos, examinando las propiedades intrínsecas de sus objetos de estudio, ya sean números o categorías con sus morfismos.

Así como Mac Lane busca las estructuras universales y las relaciones entre distintas áreas de las matemáticas, Saussure busca las estructuras subyacentes y las relaciones sistemáticas que gobiernan el lenguaje. Ambos libros son ejercicios en la identificación de categorías fundamentales y sus interconexiones (morfismos o relaciones sintagmáticas/paradigmáticas) dentro de un sistema abstracto, definiendo cómo los elementos interactúan para formar un todo coherente.

Mientras Mac Lane categoriza las estructuras abstractas de la matemática, Merleau-Ponty intenta categorizar y conceptualizar las estructuras de la percepción y el comportamiento humano. Ambos buscan un "lenguaje" más adecuado para hablar de sus respectivos dominios, evitando reduccionismos y buscando revelar totalidades significativas. Merleau-Ponty, un autor menos canónico en contextos anglosajones de no ficción científica, ofrece una profunda 'categorización' de la experiencia.

Al igual que Mac Lane en 'Categorías para el Trabajador Matemático', Cavaillès se sumerge en la metateoría de las matemáticas. Ambos interrogan la naturaleza de los objetos matemáticos y las estructuras que los organizan, aunque Cavaillès lo hace desde una perspectiva más filosófica e histórica. La relevancia de Cavaillès y su enfoque estructuralista son bien conocidos en Francia, pero menos en la literatura anglosajona, haciéndolo una opción 'oscura' pero muy pertinente para el metalenguaje matemático.

Ambos libros comparten una ambición estructural similar: construir un sistema formal y riguroso desde sus cimientos. Aunque 'Principia Mathematica' lo hace desde la lógica y los fundamentos de la aritmética y 'Categorías para el Trabajador Matemático' desde una abstracción superior, ambos se enfocan en cómo las relaciones y los elementos interactúan dentro de una estructura axiomática, buscando la máxima coherencia y completitud a través de categorías o tipos lógicos.

La estructura central de 'Categorías para el Trabajador Matemático' es la axiomática y la construcción formal de un sistema abstracto. Los 'Elementos de Euclides' son el epítome de esta estructura clásica: un sistema deductivo construido a partir de definiciones, postulados y nociones comunes para derivar teoremas. Ambos textos demuestran la potencia de un enfoque sistemático y categórico para organizar el conocimiento matemático, aunque en niveles de abstracción muy diferentes.