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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom