The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits
arXiv:1305.0297
Abstract
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 devices and also recursion can be formulated in the operadic framework as well. Throughout we include many examples and figures.
28 pages
References in corpus (3)
Cited by in corpus (21)
- A Universal Construction for (Co)Relations
- Operads of Wiring Diagrams
- Categorical Semantics of Cyber-Physical Systems Theory
- Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams
- The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes
- Operads for complex system design specification, analysis and synthesis
- Operadic Modeling of Dynamical Systems: Mathematics and Computation
- An Algebraic Framework for Structured Epidemic Modeling
- Networks of hybrid open systems
- Networks of open systems
- Bayesian open games
- An algebra of open continuous time dynamical systems and networks
- Compositional Cyber-Physical Systems Theory
- The multiresolution analysis of flow graphs
- Nesting of dynamic systems and mode-dependent networks
- Compositional Thermostatics
- Semantics, Representations and Grammars for Deep Learning
- Additive monotones for resource theories of parallel-combinable processes with discarding
- Intent Preserving Generation of Diverse and Idiomatic (Code-)Artifacts
- Morphisms of Networks of Hybrid Open Systems
- Operads for Designing Systems of Systems