36 citations · 202 across the 22 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2015★ 18 cited
String diagrams for traced and compact categories are oriented 1-cobordisms
David I. Spivak, Patrick Schultz, Dylan Rupel
We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The ax…
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…