Abstract
© 2016, Universitat de Barcelona. A categorical formalism for directed graphs is introduced, featuring natural notions of morphisms and subgraphs, and leading to two elementary descriptions of the free-properad monad, first in terms of presheaves on elementary graphs, second in terms of groupoid-enriched hypergraphs.
| Original language | English |
|---|---|
| Pages (from-to) | 155-190 |
| Journal | Collectanea Mathematica |
| Volume | 67 |
| Issue number | 2 |
| DOIs | |
| Publication status | Published - 1 May 2016 |