Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras

DOI10.1007/978-3-319-57418-9_12zbMath1486.68087OpenAlexW2608324428MaRDI QIDQ5283211

Wolfram Kahl

Publication date: 21 July 2017

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-57418-9_12

zbMATH Keywords

adhesive categories of coalgebrasallegories of coalgebrasmeet-preserving relatorsrelation-algebraic approach to graph transformation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Cylindric and polyadic algebras; relation algebras (03G15) Extensive, distributive, and adhesive categories (18B50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Collagories: relation-algebraic reasoning for gluing constructions
• Algebraic approach to single-pushout graph transformation
• A completeness theorem for Kleene algebras and the algebra of regular events
• Fundamentals of algebraic graph transformation
• Categories of Coalgebras with Monadic Homomorphisms
• Data Refinement
• Amalgamating Pushout and Pullback Graph Transformation in Collagories
• NOTES ON THE UNIVERSALITY OF RELATIONAL FUNCTORS
• Foundations of Software Science and Computation Structures
• Adhesive and quasiadhesive categories