The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes
Dylan Rupel, David I. Spivak

TL;DR
This paper develops an operadic framework to formalize hierarchical structures of discrete-time processes using directed wiring diagrams with length, enabling modeling of dynamic information flows.
Contribution
It introduces a new operad of directed wiring diagrams with length and a corresponding algebra of propagator processes, extending previous static models to dynamic systems.
Findings
Defined an operad $\\mathcal{W}$ of black boxes and wiring diagrams
Constructed a $\mathcal{W}$-algebra $\mathcal{P}$ of propagator processes
Provided multiple illustrative examples
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 of black boxes and directed wiring diagrams, and we define a -algebra 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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Database Systems and Queries · Model-Driven Software Engineering Techniques · Semantic Web and Ontologies
