Category Theory for the Sciences

Aunque no se centra explícitamente en la teoría de categorías, este libro expone ideas fundamentales sobre estructuras abstractas, sistemas formales y las relaciones entre diferentes niveles de abstracción, resonando con la manera en que la teoría de categorías busca unificar conceptos matemáticos y científicos subyacentes.

Este libro, aunque es historia, aborda de forma no obvia la emergencia de estructuras complejas (sociedades, religiones, sistemas económicos) a partir de elementos más simples, una analogía lejana a cómo la teoría de categorías busca patrones y relaciones subyacentes que dan forma a sistemas aparentemente dispares.

Ambos libros exploran cómo se construyen y se relacionan los marcos conceptuales. Mientras Spivak aborda la unificación de estructuras matemáticas y científicas a través de categorías, Kuhn examina la estructura profunda de cómo el conocimiento científico se organiza y transforma, ambos buscando lógicas subyacentes a la forma en que entendemos el mundo.

Hawking busca una teoría unificada del universo, un 'gran diseño' subyacente a todas las leyes físicas. Esta ambición de encontrar principios organizadores universales resuena profundamente con el objetivo de la teoría de categorías de Spivak, que es encontrar estructuras matemáticas universales que unifiquen diversas disciplinas científicas.

Nietzsche deconstruye la pretensión de universalidad del lenguaje y el conocimiento, examinando las estructuras subyacentes de cómo creamos significado. Esto se conecta, de forma oscura, con la teoría de categorías al cuestionar las 'categorías' que usamos para dar sentido al mundo, aunque desde una perspectiva muy diferente y crítica.

Lévi-Strauss busca las estructuras subyacentes y las transformaciones que rigen los sistemas de parentesco en diferentes culturas. Esta búsqueda de un metalenguaje o una meta-estructura que permite comparar y entender sistemas culturalmente diversos resuena con el espíritu de la teoría de categorías, que busca principios abstractos para conectar dominios matemáticos y científicos dispares.

Este libro se centra en los principios estructurales del diseño y cómo estos principios abstractos pueden ser aplicados para organizar la información visual de manera coherente y funcional, de manera análoga a cómo la teoría de categorías proporciona un marco para organizar conceptos y relaciones abstractas en diversos campos.

Dawkins presenta una estructura conceptual radicalmente diferente para entender la vida, descomponiendo fenómenos complejos en la replicación y competencia de unidades más básicas (los genes). Esta re-estructuración 'bottom-up' del modo de pensar en la biología tiene paralelismos con la forma en que la teoría de categorías busca simplificar y unificar estructuras complejas a través de un lenguaje fundamental de objetos y morfismos.