Amalgamating pushout and pullback graph transformation in collagories

DOI10.1007/978-3-642-15928-2_24MaRDI QIDQ4931327zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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

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)