Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras

• Published in: Relational and Algebraic Methods in Computer Science Vol. 10226; pp. 193 - 208
• Main Author: Kahl, Wolfram
• Format: Book Chapter
• Language: English
• Published: Switzerland Springer International Publishing AG 2017; Springer International Publishing
• Series: Lecture Notes in Computer Science
• Subjects: Adhesive categories of coalgebras; Allegories of coalgebras; Meet-preserving relators; Relation-algebraic approach to graph transformation
• ISBN: 3319574175; 9783319574172
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-319-57418-9_12

Although coalgebras are widely used to model dynamic systems with infinite behaviours, they are actually also a more natural tool than algebras to model the static systems that are the main subject of the “algebraic approach” to graph transformation and model transformation: many variants of graph structures and object webs are more easily modelled as coalgebras than as algebras. By characterising the kinds of coalgebras that give rise to different kinds of allegories, we make the tools of the relation-algebraic approach and also of the category-theoretic “adhesive” “algebraic approach” available to the transformations of coalgebras.