Login
Home > Research > EPrints

Adhesive and quasiadhesive categories

Lack, Stephen and Sobocinski, Pawel (2005) Adhesive and quasiadhesive categories. Theoretical Informatics and Applications, 39, (2), 522-546.

This is the latest version of this item.

[file icon]PDF
Restricted to Registered users only

208Kb

Description/Abstract

We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are well-behaved, as well as quasiadhesive categories which restrict attention to regular monomorphisms. Many examples of graphical structures used in computer science are shown to be examples of adhesive and quasiadhesive categories. Double-pushout graph rewriting generalizes well to rewriting on arbitrary adhesive and quasiadhesive categories.

Item Type:Article
Uncontrolled Keywords:adhesive categories, quasiadhesive categories, graph transformation, rewriting
Related URLs:http://www.edpsciences.org/art...ta0506.pdf
Divisions:Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems
ePrint ID:263599
Deposited On:23 Feb 2007
Last Modified:07 Mar 2012 15:41
Further Information:Google Scholar

Available Versions of this Item

Associated Staff Only: edit my ePrint