Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation

Dominique Duval, Rachid Echahed, Frédéric Prost

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,…