• Corpus ID: 1488726

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

  title={The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits},
  author={David I. Spivak},
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… 

Figures from this paper

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

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

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

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

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.

Hypergraph Categories

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

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

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

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

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

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



Functorial data migration

The Art of the Propagator

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

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

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

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

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

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

The society of mind

Basic category theory for computer scientists

  • B. Pierce
  • Education, Medicine
    Foundations 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

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