Adhesive Categories

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.

• Type: Conference
• Year: 2004
• Where: FOSSACS
• Authors: Stephen Lack, Pawel Sobocinski
• Keywords: Adhesive Categories, Applied Computing, Arbitrary Adhesive Categories, FOSSACS 2004, Graph Rewriting Generalises