Amalgamating pushout and pullback graph transformation in collagories

DOI10.1007/978-3-642-15928-2_24zbMATH Open1306.68077OpenAlexW1837826463MaRDI QIDQ4931327FDOQ4931327

Authors: Wolfram Kahl 

Publication date: 4 October 2010

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-15928-2_24

Recommendations

• Collagories for relational adhesive rewriting
• Collagories: relation-algebraic reasoning for gluing constructions
• The pullback-pushout approach to algebraic graph transformation
• Multi-amalgamation in adhesive categories
• Algebraic approach to single-pushout graph transformation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (8)

• Multi-amalgamation in adhesive categories
• Graph rewriting and relabeling with PBPO\textsuperscript{+}
• Collagories: relation-algebraic reasoning for gluing constructions
• A Heterogeneous Pushout Approach to Term-Graph Transformation
• Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes
• Collagories for relational adhesive rewriting
• Allegories and collagories for transformation of graph structures considered as coalgebras
• Pushout: A Mathematical Model of Architectural Merger

This page was built for publication: Amalgamating pushout and pullback graph transformation in collagories

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