Conceptual Mathematics: A First Introduction to Categories

Ernest Schimmerling·2011·no ficcion

Aunque superficialmente la teoría de conjuntos es una base para la matemática, la conexión con la teoría de categorías se vuelve no obvia cuando se considera desde una perspectiva conceptual. Este libro desafía la intuición al construir estructuras matemáticas a partir de objetos y relaciones fundamentales, de manera análoga a cómo la teoría de categorías abstrae las relaciones entre estructuras.

Bonnie Gold, Roger A. Simons·2008·no ficcion

En lugar de enfocarse en las matemáticas como un conjunto de verdades dadas, este libro explora el proceso y los cimientos de la demostración y el razonamiento matemático desde una postura filosófica. Esto complementa la esencia de 'Conceptual Mathematics' al profundizar en las interrogantes subyacentes sobre cómo construimos el conocimiento matemático y damos sentido a sus estructuras abstractas.

Saunders Mac Lane·1998·no ficcion

Mientras que Lawvere y Schanuel buscan una introducción conceptual, Mac Lane profundiza en los mismos principios filosóficos de abstracción y relación que subyacen a la teoría de categorías, pero con un rigor y extensión que revela la arquitectura completa del pensamiento categorial. Ambos comparten la visión de las matemáticas a través de estructuras y morfismos, pero Mac Lane lo hace de forma más exhaustiva para el especialista.

Keith Devlin·1994·no ficcion

El libro de Lawvere y Schanuel presenta la teoría de categorías como un nuevo lenguaje para entender estructuras matemáticas. Devlin's 'Mathematics: The Science of Patterns' resuena profundamente con esta idea al enmarcar toda la disciplina matemática como la identificación y el estudio de patrones abstractos. La teoría de categorías es una herramienta maestra para clasificar y relacionar estos patrones, compartiendo una visión filosófica similar sobre la naturaleza esencial de las matemáticas.

Manuel Barragán Barragán·1996·no ficcion

Este libro ofrece una perspectiva equivalente en contenido a la de Lawvere y Schanuel, pero desde un autor de habla hispana, lo que lo hace menos visible en los circuitos académicos anglosajones. Proporciona una entrada a la teoría de categorías que mantiene la misma accesibilidad conceptual pero con un enfoque y estilo que reflejan una tradición de enseñanza matemática diferente.

Robert Goldblatt·1984·no ficcion

Aunque Goldblatt's 'Topoi' es un libro fundamental en su campo, la teoría de topoi es un área de la matemática altamente especializada que no es tan ampliamente conocida por fuera de los expertos en lógica y categorías. Su abordaje de la lógica y los fundamentos matemáticos a través de las categorías evoca la filosofía profunda de 'Conceptual Mathematics' de usar categorías como una herramienta de comprensión fundamental, pero lo lleva a un nivel de abstracción y aplicación mucho más avanzado y menos común en introducciones.

Kenneth Kunen·1980·no ficcion

El libro de Lawvere y Schanuel usa un estilo directo y accesible, construyendo ideas desde la intuición antes de formalizarlas. 'Set Theory for the Working Mathematician' comparte una característica estructural similar al proveer una exposición clara y sin rodeos, aunque sobre un tema diferente, enfocándose en cómo los conceptos fundamentales (en este caso, de conjuntos) se construyen de manera lógica y se interconectan para formar una teoría coherente, al igual que los elementos de la teoría de categorías en el libro de referencia.

Jiří Adámek, Horst Herrlich, George E. Strecker·1990·no ficcion

Mientras que 'Conceptual Mathematics' es una primera introducción, 'The Joy of Cats' extiende la exploración de la misma temática (teoría de categorías) construyendo de manera incremental la complejidad de los conceptos y ofreciendo una multitud de ejemplos específicos para ilustrar las ideas abstractas. Estructuralmente, ambos libros se construyen capa por capa, avanzando desde lo fundamental hacia lo más complejo, aunque 'The Joy of Cats' lo hace en un grado mucho mayor, consolidando una comprensión robusta a través de la explicitación de innumerables casos y aplicaciones concretas.