Adhesive Categories

Stephen Lack
Pawe Sobocinski

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.

 

Last modified: 2003-10-06 by webmaster.