172 citations · 796 across the 66 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
math.CT2013★ 23 cited
The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes
Dylan Rupel, David I. Spivak
We investigate the hierarchical structure of processes using the mathematical theory of operads. Information or material enters a given process as a stream of inputs, and the proce…
cs.DB2013★ 40 cited
The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits
David I. Spivak
Wiring diagrams, as seen in digital circuits, can be nested hierarchically and thus have an aspect of self-similarity. We show that wiring diagrams form the morphisms of an operad…
math.CT2013★ 2 cited
Category theory for scientists (Old version)
David I. Spivak
There are many books designed to introduce category theory to either a mathematical audience or a computer science audience. In this book, our audience is the broader scientific co…