The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes

arXiv1307.6894MaRDI QIDQ6243641FDOQ6243641

Authors: Dylan Rupel, David I. Spivak 

Publication date: 25 July 2013

Abstract: 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 process converts it to a stream of outputs. Output streams can then be supplied to other processes in an organized manner, and the resulting system of interconnected processes can itself be considered a macro process. To model the inherent structure in this kind of system, we define an operad $mathcalW$ of black boxes and directed wiring diagrams, and we define a $mathcalW$-algebra $mathcalP$ of processes (which we call propagators, after Radul and Sussman). Previous operadic models of wiring diagrams use undirected wires without length, useful for modeling static systems of constraints, whereas we use directed wires with length, useful for modeling dynamic flows of information. We give multiple examples throughout to ground the ideas.

Mathematics Subject Classification ID

Economic models of real-world systems (e.g., electricity markets, etc.) (91B74) Neural networks for/in biological studies, artificial life and related topics (92B20) Hierarchical systems (93A13) Applications of universal algebra in computer science (08A70) Categories of machines, automata (18B20)

This page was built for publication: The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6243641)