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.
| 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
- Adhesive and quasiadhesive categories. (deposited 01 Feb 2007)
- Adhesive and quasiadhesive categories. (deposited 23 Feb 2007) [Currently Displayed]
Associated Staff Only: edit my ePrint
