Allegories and collagories for transformation of graph structures considered as coalgebras
DOI10.1007/978-3-319-57418-9_12zbMATH Open1486.68087OpenAlexW2608324428MaRDI QIDQ5283211FDOQ5283211
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
Recommendations
adhesive categories of coalgebrasallegories of coalgebrasmeet-preserving relatorsrelation-algebraic approach to graph transformation
Grammars and rewriting systems (68Q42) Cylindric and polyadic algebras; relation algebras (03G15) Extensive, distributive, and adhesive categories (18B50)
Cites Work
- Title not available (Why is that?)
- Data Refinement
- Title not available (Why is that?)
- A completeness theorem for Kleene algebras and the algebra of regular events
- Title not available (Why is that?)
- Foundations of Software Science and Computation Structures
- Fundamentals of algebraic graph transformation
- Adhesive and quasiadhesive categories
- Amalgamating pushout and pullback graph transformation in collagories
- Collagories: relation-algebraic reasoning for gluing constructions
- Title not available (Why is that?)
- NOTES ON THE UNIVERSALITY OF RELATIONAL FUNCTORS
- Title not available (Why is that?)
- Algebraic approach to single-pushout graph transformation
- Categories of coalgebras with monadic homomorphisms
Cited In (4)
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)
