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

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…