Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras

Wolfram Kahl. Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras. In Peter Höfner, Damien Pous, Georg Struth, editors, Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. Volume 10226 of Lecture Notes in Computer Science, pages 193-208, 2017. [doi]

Abstract

Abstract is missing.