Categories for Software Engineering

• Main Author: Fiadeiro, José Luiz (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Subjects: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Computer science > Mathematics.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Mathematics of Computing.

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of...

Table of Contents:

• Basics
• Introducing Categories
• Building Categories
• Universal Constructions
• Functors
• Advanced Topics
• Functor-Based Constructions
• Adjunctions
• Applications
• CommUnity
• Architectural Description
• An Algebra of Connectors.