Abstract
![CDATA[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.]]
Original language | English |
---|---|
Title of host publication | Foundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : Proceedings |
Publisher | Springer |
Number of pages | 16 |
ISBN (Print) | 9783540212980 |
Publication status | Published - 2004 |
Event | FOSSACS 2004 - Duration: 1 Jan 2004 → … |
Conference
Conference | FOSSACS 2004 |
---|---|
Period | 1/01/04 → … |