AbstractWe 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.
How to Cite
Lack, S., & Sobocinski, P. (2003). Adhesive Categories. BRICS Report Series, 10(31). https://doi.org/10.7146/brics.v10i31.21799
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.