Adhesive Categories
Stephen Lack
October 2003 |
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
Available as PostScript, PDF, DVI. |