Explora a fondo los conceptos de funtores y transformaciones naturales, conectando directamente con la aplicación de la teoría de categorías en la computación.
Categorías para la Ciencia de la Computación
por Michael Barr · 1990
Ver sugerenciasSinopsis
Este libro introduce la teoría de categorías como una herramienta formal poderosa para modelar y comprender conceptos fundamentales en la ciencia de la computación, desde tipos de datos hasta semántica de lenguajes.
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
Proporciona un marco conceptual unificado que aborda problemas informáticos, al igual que el libro de referencia hace con la teoría de categorías.
Ofrece un tratamiento similar en la presentación de la teoría de categorías, enfocándose en su relevancia específica para la ciencia de la computación.
Introduce conceptos fundamentales de la teoría de categorías, manteniendo un enfoque en sus aplicaciones en la lógica y matemáticas, como en el libro de referencia.
Presenta la teoría de categorías de manera accesible, resaltando su aplicación práctica en computación, lo que coincide con el enfoque divulgativo del texto original.
Profundiza en la teoría de categorías al relacionarla con la programación, similar al modo en que el libro de referencia vincula matemáticas con informática.