Teoría de las categorías y la informática

Aunque Mac Lane es una figura central en la teoría de categorías, este libro es un texto foundational, no una aplicación directa a la informática. Se desvía de los textos de divulgación más genéricos sobre la aplicación de categorías en ciencias de la computación, presentando la teoría desde una perspectiva pura y fundamental antes de considerar aplicaciones, lo que lo hace menos obvio para alguien que busca explícitamente la interfaz con la informática.

Este libro profundiza en una rama específica y compleja de la teoría de categorías, los topos, que va más allá de las aplicaciones directas a la computación que el título del libro de referencia podría sugerir. Conecta la teoría de categorías con la lógica interna y la física, ofreciendo una perspectiva menos común que el enfoque algorítmico o de tipos.

Aunque no se centra explícitamente en la teoría de categorías, Cardelli explora cómo los lenguajes de programación estructuran el conocimiento y la computación. Esto resuena con la capacidad de la teoría de categorías para proporcionar un marco abstracto y compositional para organizar conceptos matemáticos y computacionales, abordando preguntas filosóficas sobre la naturaleza de los sistemas y los tipos.

La teoría de categorías, al proporcionar un lenguaje para describir estructuras y relaciones abstractas, puede ser vista como una herramienta para conceptualizar 'el universo de la información'. Floridi, desde una perspectiva filosófica, examina la información como un concepto fundamental, similar a cómo la teoría de categorías busca principios unificadores a través de abstracciones que trascienden disciplinas, lo que implica una profunda conexión sobre cómo organizamos el conocimiento.

Kaminetsky, un autor menos conocido en la literatura anglosajona, aborda la aplicación de la teoría de categorías a la cibernética, un campo que comparte puntos de contacto con la informática pero que es distinto. A diferencia de las aplicaciones más mainstream en lenguajes de programación o bases de datos, este libro ofrece una mirada a una aplicación histórica y menos explorada, situándose fuera de los circuitos académicos occidentales predominantes.

Curien es un matematico frances reconocido en su campo, pero su trabajo específico en la intersección de la teoría de categorías y la programación lógica es menos citado en círculos generales de informática en comparación con autores anglosajones. Aborda una conexión muy específica y fundamental que subraya el poder unificador de las categorías en un dominio particular de la computación, alejándose de las aplicaciones más conocidas.

Al igual que el libro de Guitart, este título utiliza la teoría de categorías como el andamiaje estructural principal para analizar y construir propiedades de los lenguajes de programación, en este caso, los funcionales. Ambos libros aprovechan la capacidad de la teoría de categorías para abstraer y formalizar de manera rigurosa, definiendo conceptos fundamentales y sus interrelaciones dentro del dominio de la informática.

Aunque no se centra en la teoría de categorías explícitamente, este libro de Hartmanis aborda la computación desde una perspectiva fuertemente abstracta y estructural, buscando los fundamentos y principios unificadores de los problemas computacionales. Esta aproximación a la computación, que busca estructuras invariantes y propiedades fundamentales en los sistemas, es similar al enfoque de Guitart en usar categorías para estructurar el pensamiento sobre la informática, incluso si las herramientas matemáticas son diferentes.