Este Libro proporciona un dominio de la Ingeniería de
software Orientada a la Teoría de la Categoría. Asumiendo sólo un mínimo
de preparación matemática, este libro explora el uso de construcciones categóricas del punto de vista de los métodos y técnicas que se han propuesto para la ingeniería de
sistemas de
software complejos: el desarrollo Orientado a Objetos, las arquitecturas de software, las técnicas de la especificación lógicas y algebraicas, modelos de concurrencia, entre otros. Después de dos partes en que se introducen conceptos categóricos básicos y más avanzados y técnicas, el libro ilustra su aplicación a la semántica de CommUnity – Un lenguaje para el diseño arquitectónico de sistemas interactivos.