Skip to content

Operadic Compositionality

Lesson 05 · Transfer

Applications Across Domains

Map operadic composition to circuits, databases, software pipelines, and agent workflows.

~15 min Semantics and Applications
domain-algebrasrelational-algebra-wiringpipeline-operadagent-composition

One syntax, many algebras

The payoff of separating operad (how we wire) from algebra (what wiring means) is transfer: the same hierarchical pictures host circuits, queries, dataflow graphs, and multi-agent plans — each with its own X and α.

Domain map

Circuits

  • Ports: terminals
  • Wires: conductors
  • Algebra: electrical relations / behaviors

Databases

  • Ports: attributes/sorts
  • Wires: equalities
  • Algebra: Rel / queries

Pipelines

  • Ports: schemas/events
  • Wires: channels
  • Algebra: stream maps

Agents

  • Ports: tools/messages
  • Wires: sessions
  • Algebra: policies + costs

Tradeoffs when picking an algebra

Relational (Rel)

algebra
Clarity
5
Flexibility
4
Ops cost
2

Great for constraints & queries

Functional maps

algebra
Clarity
4
Flexibility
3
Ops cost
3

Executable, less nondeterminism

Process/session

algebra
Clarity
3
Flexibility
5
Ops cost
4

Concurrency & protocols

Cost-only

algebra
Clarity
4
Flexibility
2
Ops cost
1

Budget tracking, not behavior

Port a domain into the framework

  1. 01Name the open systems (what can be a box).
  2. 02List port types (what can be wired).
  3. 03Define legal wirings (the operad fragment you actually use).
  4. 04Pick primary semantics X and maps α(θ).
  5. 05Write one compositionality test: nest two levels; compare whole meaning vs composed meanings.
  6. 06Optionally add a second algebra (cost, risk) on the same diagrams.

Check yourself

Retrieval practice — feedback explains why.

Q1Why can one wiring language serve both databases and circuits?
Q2A compositionality test for a pipeline algebra should check that:
Q3A second algebra on the same diagrams is useful to:

Explain it back

Choose one domain below and write the triple: (operad of architectures, algebra of behaviors, test that composition preserves meaning).

Sources · claim ledger

  • David Spivak showed that hierarchical wiring diagrams form morphisms of an operad T, providing a graphical language for databases, recursion, and plug-and-play circuits.

    Spivak, The operad of wiring diagrams (arXiv:1305.0297) · verified 2026-07-28

  • The algebra Rel of mathematical relations on the wiring-diagram operad lets wiring diagrams structure relational database queries; circuit diagrams appear as a special case.

    Spivak, The operad of wiring diagrams · verified 2026-07-28

  • Classical applications of operads include characterizing iterated loop spaces and encoding algebraic structures (e.g. algebras over the Lie operad are Lie algebras).

    Operad — Wikipedia · verified 2026-07-28

  • Applied category theory (Fong & Spivak, Seven Sketches in Compositionality) develops compositionality via monoidal categories, wiring diagrams, and graphical calculi for open systems.

    Fong & Spivak, Seven Sketches in Compositionality (arXiv:1803.05316) · verified 2026-07-28