Abstract
In this chapter, we introduce adhesive and \(\mathcal{M}\)-adhesive categories as the categorical foundation of graph and model transformations and present various constructions and properties. In Sect. 4.1, we introduce \(\mathcal{M}\)-adhesive categories based on the notion of van Kampen squares. Different versions of adhesive categories are compared to the one we use in this book in Sect. 4.2. In Sect. 4.3, we introduce some additional properties which are needed for results in \(\mathcal{M}\)-adhesive categories, as well as derive results that hold in any such category.
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
© 2015 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ehrig, H., Ermel, C., Golas, U., Hermann, F. (2015). Adhesive and \(\mathcal{M}\)-Adhesive Categories. In: Graph and Model Transformation. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-47980-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-662-47980-3_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-47979-7
Online ISBN: 978-3-662-47980-3
eBook Packages: Computer ScienceComputer Science (R0)