zbMATH — the first resource for mathematics

Adhesive categories. (English) Zbl 1126.68447
Walukiewicz, Igor (ed.), Foundations of software science and computation structures. 7th international conference, FOSSACS 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Procedings. Berlin: Springer (ISBN 3-540-21298-1/pbk). Lecture Notes in Computer Science 2987, 273-288 (2004).
Summary: 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.
For the entire collection see [Zbl 1048.68010].

68Q42 Grammars and rewriting systems
18C50 Categorical semantics of formal languages
Full Text: DOI