Teoría básica de categorías para informáticos

Título original:

Basic Category Theory for Computer Scientists

Contenido del libro:

La teoría de categorías es una rama de la matemática pura que se está convirtiendo en una herramienta cada vez más importante de la informática teórica, especialmente en la semántica del lenguaje de programación, la teoría de dominios y la concurrencia, donde ya es un lenguaje estándar del discurso.

La teoría de categorías es una rama de las matemáticas puras que se está convirtiendo en una herramienta cada vez más importante en la informática teórica, especialmente en la semántica del lenguaje de programación, la teoría de dominios y la concurrencia, donde ya es un lenguaje estándar de discurso. Suponiendo un mínimo de preparación matemática, Teoría básica de categorías para informáticos ofrece una presentación directa de las construcciones básicas y la terminología de la teoría de categorías, incluyendo límites, funtores, transformaciones naturales, adjuntos y categorías cartesianas cerradas. Cuatro casos prácticos ilustran las aplicaciones de la teoría de categorías al diseño de lenguajes de programación, la semántica y la solución de ecuaciones de dominio recursivas. Un breve estudio bibliográfico ofrece sugerencias para profundizar en textos más avanzados.

Contenido

Tutorial - Aplicaciones - Lecturas complementarias.