Open AccessAdhesive Categories
Author(s) -
Stephen Lack,
Paweł Sobociński
Publication year - 2003
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v10i31.21799
Subject(s) - rewriting , graph rewriting , adhesive , graph , confluence , mathematics , computer science , theoretical computer science , programming language , materials science , layer (electronics) , composite material
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.