Categories of Coalgebras with Monadic Homomorphisms

Abstract graph transformation approaches traditionally consider graph structures as algebras over signatures where all function symbols are unary.Attributed graphs, with attributes taken from (term) algebras over arbitrary signatures do not fit directly into this kind of transformation approach, since algebras containing function symbols taking two or more arguments do not allow component-wise construction of pushouts. We show how shifting from …