Categorías para la Matemática y la Física Teórica

Jean Bénabou·1968·no ficcion

Mientras Lawvere es conocido por su enfoque categórico a los fundamentos de la matemática, Bénabou, coetáneo y figura clave en la teoría de categorías, explora de forma no obvia cómo las categorías no solo formalizan, sino que también actúan como un 'puente' conceptual entre áreas aparentemente dispares de la matemática, yendo más allá de las aplicaciones directas a la física teórica para considerar la unificación de estructuras matemáticas fundamentales.

Henri Cartan·1957·no ficcion

A diferencia del enfoque directo de Lawvere en la teoría de categorías para subsumir o reinterpretar la física teórica, Cartan presenta las herramientas matemáticas subyacentes –geometría diferencial y grupos de Lie– que los físicos teóricos utilizan habitualmente. La conexión es 'nonobvious' porque Lawvere busca un lenguaje fundacional diferente, mientras Cartan refina el lenguaje que la física ya emplea, ofreciendo una perspectiva complementaria sobre las herramientas matemáticas fundamentales para la física que no suele asociarse directamente con la agenda categórica de Lawvere.

William M. Lawvere·2003·no ficcion

Este libro profundiza en las ideas filosóficas de Lawvere acerca de cómo la teoría de categorías no es solo una rama de las matemáticas, sino un marco conceptual para entender los fundamentos de esta disciplina. Mientras el libro de referencia aplica estas categorías a la física, esta obra explora la visión más amplia de Lawvere sobre la 'categorización' del pensamiento matemático y el conocimiento, lo que supone una conexión profunda con la arquitectura ideológica detrás de su trabajo.

Bas van Fraassen·2021·filosofia

Lawvere busca en las categorías un lenguaje más fundamental y ontológicamente 'correcto' para la física. Van Fraassen, por otro lado, se pregunta profundamente cómo la estructura de nuestras teorías (específicamente la física) conecta con la realidad, desafiando la conexión directa que a menudo se asume. Ambos exploran, aunque desde perspectivas opuestas (uno proponiendo un lenguaje ontológicamente superior, otro cuestionando la inferencia ontológica), la relación entre la estructura conceptual de la física y la naturaleza de la realidad, compartiendo una preocupación profunda por la veracidad o adecuación de nuestros modelos científicos.

Pascual Jordan·1969·no ficcion

Jordan fue una figura fundamental en el desarrollo inicial de la mecánica cuántica, y sus trabajos sobre sus bases matemáticas son menos conocidos fuera de círculos especializados en comparación con, por ejemplo, Neumann o Dirac. Su aproximación a las estructuras fundamentales que sostienen la física teórica conecta con el objetivo de Lawvere de encontrar un lenguaje fundacional más adecuado, pero desde una tradición matemática germana anterior a la hegemonía de la teoría de categorías en los fundamentos.

Ladislav Rieger·1946·no ficcion

Mientras Lawvere propone la teoría de categorías como una base alternativa para las matemáticas y la física, Rieger, un lógico checo de antes de la Guerra Fría, también desafió las nociones estándar de los fundamentos matemáticos desde su propia perspectiva en la lógica. La conexión es que ambos buscan una reformulación radical de los fundamentos, pero Rieger lo hace desde una tradición lógica checa menos conocida en el mundo anglosajón, lo que lo convierte en una opción oscura que comparte el espíritu fundacional y crítico de Lawvere.

Bernard F. Schutz·1980·no ficcion

Al igual que Lawvere pretende proporcionar un armazón categórico que sirva de cimiento para la física teórica, Schutz estructura su libro para 'traducir' la geometría diferencial a un lenguaje usable y significativo para los físicos. Ambos libros comparten una estructura de presentación de herramientas matemáticas (aunque diferentes) con una clara orientación hacia la aplicación y comprensión de la física teórica, actuando como un puente entre dos dominios del conocimiento. Lawvere lo hace con categorías y Schutz con geometría diferencial pero ambos son manuales que introducen un marco conceptual.

Paul Cohen·2008·no ficcion

El libro de Lawvere presenta un sistema unificado para categorizar la matemática y la física. De manera similar, esta colección de Cohen muestra un esfuerzo fragmentado pero concentrado en abordar los fundamentos de manera sistemática, aunque a través de ensayos y notas más que de una obra cohesiva. La estructura es un recorrido por la mente de un matemático abordando los 'cimientos', de forma análoga a la manera en que Lawvere construye su marco categórico desde primeros principios. Ambos revelan la búsqueda de los pilares estructurales del conocimiento matemático y su relación con la física.