Abstract
We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are well-behaved. Many types of graphical structures used in computer science are shown to be examples of adhesive categories. Double-pushout graph rewriting generalises well to rewriting on arbitrary adhesive categories.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Baldan, P., Corradini, A., Ehrig, H., Löwe, M., Montanari, U., Rossi, F.: Concurrent semantics of algebraic graph transformations. In: Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, ch.3, vol. 3, pp. 107–187. World Scientific, Singapore (1999)
Brown, R., Janelidze, G.: Van Kampen theorems for categories of covering morphisms in lextensive categories. J. Pure Appl. Algebra 119, 255–263 (1997)
Carboni, A., Lack, S., Walters, R.F.C.: Introduction to extensive and distributive categories. Journal of Pure and Applied Algebra 84(2), 145–158 (1993)
Cardelli, L.: Bitonal membrane systems. Draft (2003)
Corradini, A., Ehrig, H., Heckel, R., Lowe, M., Montanari, U., Rossi, F.: Algebraic approaches to graph transformation part i: Basic concepts and double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1, pp. 162–245. World Scientific, Singapore (1997)
Danos, V., Laneve, C.: Graphs for core molecular biology. In: International Workshop on Computational Methods in Systems Biology, CMSB 2003 (2003)
Ehrig, H.: Introduction to the algebraic theory of graph grammars. In: 1st Int. Workshop on Graph Grammars. LNCS, vol. 73, pp. 1–69. Springer, Heidelberg (1979)
Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, Applications, Languages and Tools, vol. 2. World Scientific, Singapore (1999)
Ehrig, H., Gajewsky, M., Parisi-Presicce, F.: High-level replacement systems with applications to algebraic specifications and Petri Nets. In: Ehrig, H., Kreowsky, H.-J., Montanari, U., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, ch.6, vol. 3, pp. 341–400. World Scientific, Singapore (1999)
Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F.: From graph grammars to high level replacement systems. In: Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Graph Grammars 1990. LNCS, vol. 532, pp. 269–291. Springer, Heidelberg (1991)
Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F.: Parallelism and concurrency in high-level replacement systems. Math. Struct. In: Comp. Science, 1 (1991)
Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, Concurrency, Parallelism and Distribution, vol. 3. World Scientific, Singapore (1999)
Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: an algebraic approach. In: IEEE Conf. on Automata and Switching Theory, pp. 167–180 (1973)
Kreowski, H.-J.: Transformations of derivation sequences in graph grammars. LNCS, vol. 56, pp. 275–286 (1977)
Lack, S., Sobociński, P.: Adhesive categories. Technical Report RS-03-31, BRICS (October 2003)
Lack, S., Sobociński, P.: Van Kampen squares and adhesive categories (2003) (In Preparation)
Lambek, J., Scott, P.J.: Introduction to higher order categorical logic. Cambridge studies in advanced mathematics, vol. 7. Cambridge University Press, Cambridge (1986)
Milner, R.: Bigraphical reactive systems: Basic theory. Technical Report 523, Computer Laboratory, University of Cambridge (2001)
Montanari, U., Pistore, M., Rossi, F.: Modelling concurrent, mobile and coordinated systems via graph transformations. In: Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, ch.4, vol. 3, pp. 189–268. World Scientific, Singapore (1999)
Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, Foundations, vol. 1. World Scientific, Singapore (1997)
Sassone, V., Sobociński, P.: Deriving bisimulation congruences using 2- categories. Nordic Journal of Computing 10(2), 163–183 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lack, S., Sobociński, P. (2004). Adhesive Categories. In: Walukiewicz, I. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 2004. Lecture Notes in Computer Science, vol 2987. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24727-2_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-24727-2_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21298-0
Online ISBN: 978-3-540-24727-2
eBook Packages: Springer Book Archive