Adhesive Categories

Authors

  • Stephen Lack
  • Pawel Sobocinski

DOI:

https://doi.org/10.7146/brics.v10i31.21799

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.

Downloads

Published

2003-10-06

How to Cite

Lack, S., & Sobocinski, P. (2003). Adhesive Categories. BRICS Report Series, 10(31). https://doi.org/10.7146/brics.v10i31.21799

Issue

No. 31 (2003): RS-31 Adhesive Categories

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.