The Algebra of Directed Acyclic Graphs
Marcelo Fiore, Marco Devesas Campos · arXiv (Cornell University) · 2013
We give an algebraic presentation of directed acyclic graph structure, introducing a symmetric monoidal equational theory whose free PROP we characterise as that of finite abstract dags with input/output interfaces. Our development provides an initial-algebra semantics for dag structure.