A Coalgebraic Model of Graphs
Christian Jäkel *
Department of Mathematics, Technische Universität Dresden, 01062, Dresden, Germany.
*Author to whom correspondence should be addressed.
Abstract
In this note, we model various types of graphs, relational systems and multisets as coalgebras over Set×Set and use the theory of coalgebras over arbitrary categories to conclude properties of the category of graphs. This point of view forces the formulation of a Co-Birkhoff like theorem for graphs.
Keywords: Universal coalgebra, graph theory