Return to Article Details Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation Download Download PDF