Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation

Rewriting systems are often defined as binary relations over a given set of objects. This simple definition is used to describe various properties of rewriting such as termination, confluence, normal forms etc. In this paper, we introduce a new notion of abstract rewriting in the framework of categories. Then, we define the functoriality property of rewriting systems. This property is sometimes called vertical composition. We show that most of graph transformation systems are functorial and provide a counter-example of graph transformation systems which is not functorial.

[1]  Hartmut Ehrig,et al.  Graph-Grammars: An Algebraic Approach , 1973, SWAT.

[2]  Reiko Heckel,et al.  Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach , 1997, Handbook of Graph Grammars.

[3]  Reiko Heckel,et al.  Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems , 2001, Appl. Categorical Struct..

[4]  Dominique Duval,et al.  Adjunction for Garbage Collection with Application to Graph Rewriting , 2007, RTA.

[5]  Chang Liu,et al.  Term rewriting and all that , 2000, SOEN.

[6]  Frank Hermann,et al.  Sesqui-Pushout Rewriting , 2006, ICGT.

[7]  Dominique Duval,et al.  A Heterogeneous Pushout Approach to Term-Graph Transformation , 2009, RTA.

[8]  Olivier Danvy,et al.  Tutorial notes on partial evaluation , 1993, POPL '93.

[9]  Roy Dyckhoff,et al.  Exponentiable morphisms, partial products and pullback complements , 1987 .

[10]  Jean-Christophe Janodet,et al.  Admissible Graph Rewriting and Narrowing , 1998, IJCSLP.

[11]  Michael Löwe,et al.  Algebraic Approach to Single-Pushout Graph Transformation , 1993, Theor. Comput. Sci..

[12]  Dominique Duval,et al.  Graph rewriting with polarized cloning , 2009, ArXiv.

[13]  Reiko Heckel,et al.  Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach , 1997, Handbook of Graph Grammars.

[14]  Hartmut Ehrig,et al.  Adhesive High-Level Replacement Categories and Systems , 2004, ICGT.

[15]  Michael Löwe.  Graph Rewriting in Span-Categories , 2010, ICGT.

[16]  Hartmut Ehrig,et al.  Grammars on partial graphs , 2004, Acta Informatica.