Este libro presenta la teoría de categorías enfocándose en su aplicación en informática, al igual que la obra de Barr.
Teoría de las Categorías para las Ciencias de la Computación
por Michael Barr · 1997
Ver sugerenciasSinopsis
Este texto introduce los conceptos fundamentales de la teoría de categorías y sus aplicaciones diversas en la informática teórica, la lógica y los fundamentos de las matemáticas.
Sé el primero en valorar este libro.
Más de Michael Barr
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Ambos textos de Barr introducen la teoría de categorías como herramienta clave para entender la semántica y tipos en computación.
Al igual que la referencia, este libro de Barr utiliza un lenguaje matemático claro para abordar conceptos fundamentales en computación.
Comparten el objetivo de describir estructuras y relaciones en informática mediante un enfoque categórico y matemático.
Este libro adopta un tono accesible y práctico al explicar la teoría de categorías, similar al enfoque de Barr.
Ambos libros exploran cómo la teoría de categorías puede aplicarse para razonar sobre problemas y estructuras en la informática.