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

@article{Rupel2013TheOO, title={The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes}, author={Dylan Rupel and David I. Spivak}, journal={ArXiv}, year={2013}, volume={abs/1307.6894} }

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 $\mathcal{W}$ of black boxes…

## 29 Citations

### Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams

- Mathematics, Computer Science
- 2014

This paper uses the language of operads to study the algebraic nature of assembling complex dynamical systems from an interconnection of simpler ones, and defines two W-algebras, G and L, which associate semantic content to the structures in W.

### Operads of Wiring Diagrams

- Mathematics
- 2018

This monograph is a comprehensive study of the combinatorial structure of various operads of wiring diagrams and undirected wiring diagrams. Our first main objective is to prove a finite presentation…

### Wiring diagrams as normal forms for computing in symmetric monoidal categories

- Computer ScienceACT
- 2020

An "unbiased" approach to implementing symmetric monoidal categories, based on an operad of directed, acyclic wiring diagrams, is presented, because the interchange law and other laws of a SMC hold identically in a wiring diagram.

### Nesting of dynamical systems and mode-dependent networks

- Computer ScienceJ. Complex Networks
- 2017

This paper provides a formal semantics, using the category-theoretic framework of operads and their algebras, to capture the nesting property and dynamics of mode-dependent networks.

### Categorical Data Structures for Technical Computing

- Computer Science, MathematicsArXiv
- 2021

This paper develops the mathematical theory of acsets and describes a generic implementation in the Julia programming language, which uses advanced language features to achieve performance comparable with specialized data structures.

### An algebra of open continuous time dynamical systems and networks

- Mathematics
- 2016

Many systems of interest in science and engineering are made up of interacting subsystems. These subsystems, in turn, could be made up of collections of smaller interacting subsystems and so on. In a…

### Dynamical Systems and Sheaves

- Computer ScienceAppl. Categorical Struct.
- 2020

A categorical framework for modeling and analyzing systems in a broad sense, which includes lax monoidal functors, which provide a language of compositionality, as well as sheaf theory, which flexibly captures the crucial notion of time.

### Diagrammatics in Categorification and Compositionality

- Mathematics
- 2019

Diagrammatics in Categorification and Compositionality by Dmitry Vagner Department of Mathematics Duke University Date: Approved: Ezra Miller, Supervisor Lenhard Ng Sayan Mukherjee Paul Bendich An…

### Morphisms of Networks of Hybrid Open Systems

- Mathematics, Computer Science
- 2019

It is shown that a collection of relations holding among pairs of systems induces a relation between interconnected systems, and the procedure for building networks preserves morphisms of open systems, which both justifies the formalism and concretizes the intuition that a network is aCollection of systems pieced together in a certain way.

## References

SHOWING 1-10 OF 23 REFERENCES

### The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits

- Computer ScienceArXiv
- 2013

It is shown that wiring diagrams form the morphisms of an operad $\mcT$, capturing this self-similarity, and is moved on to show how plug-and-play devices and also recursion can be formulated in the operadic framework as well.

### The Art of the Propagator

- Computer Science
- 2009

A programming model built on the idea that the basic computational elements are autonomous machines interconnected by shared cells through which they communicate that makes it easy to smoothly combine expressionoriented and constraint-based programming.

### Causal Theories: A Categorical Perspective on Bayesian Networks

- Mathematics
- 2012

In this dissertation we develop a new formal graphical framework for causal reasoning. Starting with a review of monoidal categories and their associated graphical languages, we then revisit…

### Lecture Notes in Mathematics

- Mathematics
- 2001

Vol. 72: The Syntax and Semantics of lnfimtary Languages. Edited by J. Barwtse. IV, 268 pages. 1968. DM 18,I $ 5.00 Vol. 73: P. E. Conner, Lectures on the Action of a Finite Group. IV, 123 pages.…

### A Course on Quantum Techniques for Stochastic Mechanics

- Physics
- 2012

Some ideas from quantum theory are just beginning to percolate back to classical probability theory. For example, there is a widely used and successful theory of ‘chemical reaction networks’, which…

### Cycles of time : an extraordinary new view of the universe

- Physics
- 2011

Roger Penrose's groundbreaking and bestselling "The Road to Reality" provided a comprehensive yet readable guide to our present understanding of the laws that are currently believed to govern our…

### Dynamics on Networks of Manifolds

- Mathematics
- 2015

It is proved that the appropriate maps of graphs called graph brations give rise to maps of dynamical systems, which gives rise to invariant subsystems and injective graph fibrationsGive rise to projections of dynamicals systems.

### Higher Operads, Higher Categories

- Mathematics
- 2003

Part I. Background: 1. Classical categorical structures 2. Classical operads and multicategories 3. Notions of monoidal category Part II. Operads. 4. Generalized operads and multicategories: basics…

### Théorie des nombres

- Mathematics
- 1961

Let R be a c o m m u t a t i v e r ing with 1. À bilinear fo rm over R is a pa i r ( M , b) where M is a finitely gene ra t ed pro jec t ive A m o d u l e and b : M x M —• R is s y m m e t r i c…

### The geometry of iterated loop spaces

- Mathematics
- 1972

Operads and -spaces.- Operads and monads.- A? and E? operads.- The little cubes operads .- Iterated loop spaces and the .- The approximation theorem.- Cofibrations and quasi-fibrations.- The smash…