Refined Graph Rewriting in Span-Categories

DOI10.1007/978-3-642-33654-6_8MaRDI QIDQ2918976zbMATH OpenOpenAlexFDO

Authors Michael Löwe

Publication date 2 October 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-33654-6_8

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Grammars and rewriting systems (68Q42)

Recommendations

• Graph rewriting in span-categories
• Graph rewriting in some categories of partial morphisms
• Node rewriting in graphs and hypergraphs: A categorical framework
• Graph Transformation by Computational Category Theory
• Span(Graph): A categorical algebra of transition systems
• A Unified Categorical Approach for Attributed Graph Rewriting
• scientific article; zbMATH DE number 517053
• A 2-categorical presentation of term graph rewriting
• Hierarchical Graph Transformation Revisited
• scientific article; zbMATH DE number 4114059

Cited in

(6)

• The PBPO graph transformation approach
• Single pushout rewriting in comprehensive systems of graph-like structures
• Graph Transformation by Computational Category Theory
• From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
• Deduction as reduction, from a categorical point of view
• Graph rewriting in span-categories

This page was built for publication: Refined Graph Rewriting in Span-Categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2918976)