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

@article{Spivak2013TheOO, title={The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits}, author={David I. Spivak}, journal={ArXiv}, year={2013}, volume={abs/1305.0297} }

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 $\mcT$, capturing this self-similarity. We discuss the algebra $\Rel$ of mathematical relations on $\mcT$, and in so doing use wiring diagrams as a graphical language with which to structure queries on relational databases. We give the example of circuit diagrams as a special case. We move on to show how plug-and-play…

## 61 Citations

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

- Computer ScienceArXiv
- 2013

This work investigates the hierarchical structure of processes using the mathematical theory of operads, and defines an operad of black boxes and directed wiring diagrams of processes (which it is called propagators, after Radul and Sussman), which are useful for modeling dynamic flows of information.

### The algebra of open and interconnected systems

- Computer Science
- 2016

This thesis develops the theory of hypergraph categories and introduces the tools of decorated cospans and corelations, a more powerful version that permits construction of all hyper graph categories and hypergraph functors.

### 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.

### Compositional Modeling with Stock and Flow Diagrams

- Computer ScienceArXiv
- 2022

A new package called StockFlow is created, part of the AlgebraicJulia ecosystem, which uses ideas from category theory to overcome notable limitations of existing software, for building and simulating stock andow diagrams.

### Additive monotones for resource theories of parallel-combinable processes with discarding

- MathematicsQPL
- 2015

The existence of complete families of additive monotones for various partitioned process theories based on the category of finite sets are shown in order to shed light on the way such families can be constructed.

### Operadic Modeling of Dynamical Systems: Mathematics and Computation

- Mathematics, Computer ScienceElectronic Proceedings in Theoretical Computer Science
- 2022

This work shows how deterministic dynamical systems, discrete and continuous, can be composed in a hierarchical style, and shows that Euler’s method is functorial for undirected systems, extending a previous result for directed systems.

### C T ] 1 8 Ja n 20 19 Hypergraph Categories

- Mathematics
- 2019

Hypergraph categories have been rediscovered at least five times, under various names, including well-supported compact closed categories, dgs-monoidal categories, and dungeon categories. Perhaps the…

### Structured Decompositions: Structural and Algorithmic Compositionality

- Mathematics, Computer ScienceArXiv
- 2022

This work proves an algorithmic meta theorem for theSubP -COMPOSITION problem which, when instantiated in the category of graphs, yields compositional algorithms for NP-hard problems such as: MAXIMUM BIPARTITE SUBGRAPH, MAXIMum PLANAR SUB GRAPH and LONGEST PATH.

### A Compositional Framework for Passive Linear Networks

- Mathematics
- 2015

Passive linear networks are used in a wide variety of engineering applications, but the best studied are electrical circuits made of resistors, inductors and capacitors. We describe a category where…

## References

SHOWING 1-10 OF 28 REFERENCES

### 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.

### Simplicial Databases

- Computer Science, MathematicsArXiv
- 2009

A category DB is defined, called the category of simplicial databases, whose objects are databases and whose morphisms are data-preserving maps, and it is proved that limits and colimits always exist in DB and that they correspond to queries such as select, join, union, etc.

### Foundations of Databases

- Computer Science
- 1994

This book discusses Languages, Computability, and Complexity, and the Relational Model, which aims to clarify the role of Semantic Data Models in the development of Query Language Design.

### Table manipulation in simplicial databases

- Computer ScienceArXiv
- 2010

A category of databases is developed in which the schema of a database is represented as a simplicial set, each simplex corresponds to a table in the database.

### 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…

### 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…

### Basic category theory for computer scientists

- Education, MedicineFoundations of computing
- 1991

It's important for you to start having that hobby that will lead you to join in better concept of life and reading will be a positive activity to do every time.

### Category theory for computing science

- MathematicsPrentice Hall International Series in Computer Science
- 1990

Preliminaries. Categories. Functors. Diagrams. Naturality and Sketches. Products and Sums. Catesian Closed Categories. Finite Discrete Sketches. Limits and Colimits. More About Sketches. Fibrations.…