Two monads for graphs
Logic in Computer Science
2018-04-26 v1
Abstract
An introduction to algebras for graphs, based on Courcelle's algebras of hyperedge replacement and vertex replacement. The paper uses monad notation.
Cite
@article{arxiv.1804.09408,
title = {Two monads for graphs},
author = {Mikolaj Bojanczyk},
journal= {arXiv preprint arXiv:1804.09408},
year = {2018}
}