Allegories and collagories for transformation of graph structures considered as coalgebras

DOI10.1007/978-3-319-57418-9_12MaRDI QIDQ5283211zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Collagories for relational adhesive rewriting
• Collagories: relation-algebraic reasoning for gluing constructions
• Categories of coalgebras with monadic homomorphisms
• Universal coalgebra: A theory of systems
• Amalgamating pushout and pullback graph transformation in collagories

Cites work

• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 177439 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 2016074 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• Adhesive and quasiadhesive categories
• Algebraic approach to single-pushout graph transformation
• Amalgamating pushout and pullback graph transformation in collagories
• Categories of coalgebras with monadic homomorphisms
• Collagories: relation-algebraic reasoning for gluing constructions
• Data Refinement
• Foundations of Software Science and Computation Structures
• Fundamentals of algebraic graph transformation
• NOTES ON THE UNIVERSALITY OF RELATIONAL FUNCTORS

Cited in

(4)

• Collagories: relation-algebraic reasoning for gluing constructions
• Hierarchical Graph Transformation Revisited
• Categories of coalgebras with monadic homomorphisms
• Weak homomorphisms and graph coalgebras

This page was built for publication: Allegories and collagories for transformation of graph structures considered as coalgebras

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