2015/08/10 by Jäkel, Christian
#Category Theory (math.CT) #Combinatorics (math.CO) #FOS: Mathematics
paper · doi:10.48550/arxiv.1508.02169
For a set-endofunctor F, a graph is triple (V,E,g) with a structure map g:E→ F V. This model is a generalized coalgebra over the category of sets. In this note, we model graphs as coalgebras over Set× Set and use the theory of coalgebras over arbitrary categories to conclude properties of the category of graphs.