Abstract
This book presents a general theory of specifications that is independent from the details of the semantic structures (algebras) used to model particular aspects of program behaviour. The development of such a theory is best expressed using basic concepts of category theory, which allow definitions and results to be formulated at a sufficiently abstract level. This chapter provides a brief but comprehensive overview of these basic concepts, in order to make the book self-contained and to provide a handy reference.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Sannella, D., Tarlecki, A. (2011). Category theory. In: Foundations of Algebraic Specification and Formal Software Development. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17336-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-17336-3_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17335-6
Online ISBN: 978-3-642-17336-3
eBook Packages: Computer ScienceComputer Science (R0)