Showing changes from revision #1 to #2:
Added | Removed | Changed
This page is a blog article in progress, written by David Tanzer. Here is the Forum editorial discussion for this article. Here are the Forum content notes for this article.
By David A. Tanzer
An operad is a nice mathematical gadget for describing systems built from interconnected, nested subsystems.
An operad consists of:
Here is an example of what I mean by a connected tree tree: diagram:
It’s The ‘connected’ head in of the sense tree that is the first input to$h$ . is The fed first by child the output of$h$ is $f$ , . and That the second input is fed because by the output of$f$ is $X_1$, which is the first input to $h$. Similarly, the second child of $h$ is $g$.
The composite morphism will map $A,B,C,D \rightarrow Y$.
Note: what I am calling a “connected trees” of morphisms is a kind of diagram in the operad.
In the technical construction of an operad, the composition rule is defined just for “two-level” two-level trees trees, such as the one I above. just wrote. Then, in order to ensure that it can be uniquely extended to a rule for all connected trees, the associativity condition is imposed as a requirement on the composition rule.
Equivalently, one could start by defining a composition rule for all connected tree trees. diagrams. Then, the following associativity constraint would be imposed on the rule. Suppose you had a tree of morphisms$T$, with child trees $T_1,...,T_n$. Let $T'$ be the tree whose root is the same as $T$, with children $U_1,...U_n$, where $U_i$ is the composite of $T_i$. Then the composite of $T'$ must equal the composite of $T$.
In other words, the composite of a tree must equal composite obtained by first collapsing – through composition – each of the child subtrees.
The identity morphism $Id_A: A \rightarrow A$ for object $A$ is defined by the requirement that it is a ‘no-op’ with respect to composition.
This means the following. Suppose $T$ is a morphism tree, which contains $Id_A: A \rightarrow A$ as a subtree. Let $T'$ be the result of ‘splicing’ $Id_A$ out of the tree.
Then composite($T$) = composite($T'$).
Then it follows that the identity morphism for $A$ must be unique. For suppose that there were two identity morphisms $I_1,I_2$ for $A$. Consider the linear tree which chains $I_1$ into $I_2$. The result of splicing $I_1$ out of the chain is $I_2$, and the result of splicing $I_2$ out of the chain is $I_1$. By the identity requirement, these must be equal.
We illustrate for $n=2$, which gives the ‘little squares’ operad.
There is just a single object $\square$, which serves only as a placeholder.
The entire content of this operad consists of the morphisms from $\square_1,...,\square_n \rightarrow \square$.
Note: the subscript on $\square_i$ is only for counting purposes. They’re all the same object.
The morphisms are geometric arrangements.
Choose some fixed ‘outer square,’ which for concreteness we take to be the unit square.
Then a morphism $f_k: \square_1,...,\square_k \rightarrow \square$ is an arrangement of $k$ subsquares within the outer square.
Now, can you picture the natural rule for composing a connected tree of arrangements into a composite arrangement?
(For a drawing, see Spivak’s slide number 8, “The first operad.”)
Here is the picture, painted with words.
Let $f$ be an arrangement of $k$ subsquares $s_1,..s_k$ within the unit square.
Let $w_i$ be the width of square $i$.
Suppose that we are given arrangements $g_1,...,g_k$ which we wish to compose into the structure given by $f$.
The interpretation of this will be to nest each $g_i$ as a sub-arrangement of $f$, installing it at the site of $s_i$.
$s_i$ will function as a frame for the installation of a scaled-down copies of the subsquares comprising $g_i$.
In particular, the subsquares of $g_i$ will get scaled down by the factor $w_i$ before being installed into the frame $s_i$.
So now, on our mental ‘workbench’ we have the unit square, subsquares $s_i$, and sub-subsquares (which have been scaled down).
The final composite is defined by discarding the intermediate subsquares $s_i$, and just retaining the outer unit square and the scaled down sub-subsquares.
For example, let $f: \square \rightarrow \square_1,\square_2$ be the arrangement consisting of the lower left and upper right quarters of the unit square.
The consider the morphism tree consisting of $f$ at the root, with two children that are also $f$.
The composite of this tree will be the first iteration of recursively nesting $f$ within itself. It consists of four subsquares, each of length 0.25, arranged along the diagonal from the lower left to the upper right corners of the unit square.
Little n-cubes is a “primordial operad” that clearly illustrates the general spirit and intent of a wide range of applications of operads.
Objects conceived as interfaces, and a morphism $X_1,...,X_n \rightarrow Y$ is conceived as an arrangement of the sub-interfaces $X_1,...,X_n$ within the enclosing interface $Y$.
Composition of morphisms is the operation of nesting arrangements and removing the intermediate interfaces.
A tree of connected morphisms can represent a decomposition of a system using a hierarchy of abstractions.
Composition of the morphisms gives the opposite process: concretization, to give an arrangement that explicitly includes all of the most granular components in the system.
For instance, an abstract design for a complex machine may include components like Fast Fourier Transform, Convolution, and so on. Operad morphisms can describe the decomposition of the system into subcomponents, along with their detailed interconnections (wiring, or software ‘plumbing’). In a hardware interpretation, the composition of the hierarchy of morphisms can yield a detailed circuit diagram comprising a large number of elementary logic gates.
There is much more to be said on this subject, which is both elegant and applied.
David I. Spivak, A mathematical language for modular systems. (Slides)
David I. Spivak, The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits.
Azimuth Forum content notes for this blog series. Stop by to discuss!