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