# Operad

> Mediated Wiki article. Canonical URL: https://mediated.wiki/source/Operad
> Markdown URL: https://mediated.wiki/source/Operad.md
> Source: https://en.wikipedia.org/wiki/Operad
> Source revision: 1353155860
> License: Creative Commons Attribution-ShareAlike 4.0 International (https://creativecommons.org/licenses/by-sa/4.0/)

Generalization of associativity properties

In [mathematics](/source/Mathematics), an **operad** is a structure that consists of abstract [operations](/source/Operation_(mathematics)), each one having a fixed finite number of inputs (arguments) and one output, as well as a specification of how to compose these operations. Given an operad O {\displaystyle O} , one defines an [*algebra over O {\displaystyle O}*](/source/Operad_algebra) to be a set together with concrete operations on this set that behave just like the abstract operations of O {\displaystyle O} . For instance, there is a [Lie operad](/source/Lie_operad) L {\displaystyle L} such that the algebras over L {\displaystyle L} are precisely the [Lie algebras](/source/Lie_algebra); in a sense L {\displaystyle L} abstractly encodes the operations that are common to all Lie algebras. An operad is to its algebras as a [group](/source/Group_(mathematics)) is to its [group actions](/source/Group_action).

## History

Operads originate in [algebraic topology](/source/Algebraic_topology); they were introduced to characterize iterated [loop spaces](/source/Loop_space) by [J. Michael Boardman](/source/Michael_Boardman) and [Rainer M. Vogt](https://en.wikipedia.org/w/index.php?title=Rainer_M._Vogt&action=edit&redlink=1) in 1968[1][2] and by [J. Peter May](/source/J._Peter_May) in 1972.[3]

Martin Markl, [Steve Shnider](/source/Steve_Shnider), and [Jim Stasheff](/source/Jim_Stasheff) write in their book on operads:[4]

- "The name operad and the formal definition appear first in the early 1970's in J. Peter May's "The Geometry of Iterated Loop Spaces", but a year or more earlier, Boardman and Vogt described the same concept under the name *categories of operators in standard form*, inspired by PROPs and PACTs of Adams and [Mac Lane](/source/Mac_Lane). In fact, there is an abundance of prehistory. [Weibel](/source/Charles_Weibel) [Wei] points out that the concept first arose a century ago in [A.N. Whitehead's](/source/Alfred_North_Whitehead) "A Treatise on Universal Algebra", published in 1898."

The word "operad" was created by May as a [portmanteau](/source/Portmanteau) of "operations" and "[monad](/source/Monad_(category_theory))" (and also because his mother was an opera singer).[5]

Interest in operads was considerably renewed in the early 1990s when, based on early insights of [Maxim Kontsevich](/source/Maxim_Kontsevich), [Victor Ginzburg](/source/Victor_Ginzburg) and [Mikhail Kapranov](/source/Mikhail_Kapranov) discovered that some [duality](/source/Duality_(mathematics)) phenomena in [rational homotopy theory](/source/Rational_homotopy_theory) could be explained using [Koszul duality](/source/Koszul_duality) of operads.[6][7] Operads have since found many applications, such as in [deformation quantization](/source/Deformation_quantization) of [Poisson manifolds](/source/Poisson_manifold), the [Deligne conjecture](/source/Deligne_conjecture),[8] or [graph homology](/source/Graph_homology) in the work of [Maxim Kontsevich](/source/Maxim_Kontsevich) and [Thomas Willwacher](/source/Thomas_Willwacher).

## Intuition

Suppose X {\displaystyle X} is a set and for n ∈ N {\displaystyle n\in \mathbb {N} } we define

- P ( n ) := { X n → X } {\displaystyle P(n):=\{X^{n}\to X\}} ,

the set of all functions from the [Cartesian product](/source/Cartesian_product) of n {\displaystyle n} copies of X {\displaystyle X} to X {\displaystyle X} .

We can compose these functions: given f ∈ P ( n ) {\displaystyle f\in P(n)} , f 1 ∈ P ( k 1 ) , … , f n ∈ P ( k n ) {\displaystyle f_{1}\in P(k_{1}),\ldots ,f_{n}\in P(k_{n})} , the function

- f ∘ ( f 1 , … , f n ) ∈ P ( k 1 + ⋯ + k n ) {\displaystyle f\circ (f_{1},\ldots ,f_{n})\in P(k_{1}+\cdots +k_{n})}

is defined as follows: given k 1 + ⋯ + k n {\displaystyle k_{1}+\cdots +k_{n}} arguments from X {\displaystyle X} , we divide them into n {\displaystyle n} blocks, the first one having k 1 {\displaystyle k_{1}} arguments, the second one k 2 {\displaystyle k_{2}} arguments, etc., and then apply f 1 {\displaystyle f_{1}} to the first block, f 2 {\displaystyle f_{2}} to the second block, etc. We then apply f {\displaystyle f} to the list of n {\displaystyle n} values obtained from X {\displaystyle X} in such a way.

We can also permute arguments, i.e. we have a [right action](/source/Group_action) ∗ {\displaystyle *} of the [symmetric group](/source/Symmetric_group) S n {\displaystyle S_{n}} on P ( n ) {\displaystyle P(n)} , defined by

- ( f ∗ s ) ( x 1 , … , x n ) = f ( x s − 1 ( 1 ) , … , x s − 1 ( n ) ) {\displaystyle (f*s)(x_{1},\ldots ,x_{n})=f(x_{s^{-1}(1)},\ldots ,x_{s^{-1}(n)})}

for f ∈ P ( n ) {\displaystyle f\in P(n)} , s ∈ S n {\displaystyle s\in S_{n}} and x 1 , … , x n ∈ X {\displaystyle x_{1},\ldots ,x_{n}\in X} .

The definition of a symmetric operad given below captures the essential properties of these two operations ∘ {\displaystyle \circ } and ∗ {\displaystyle *} .

## Definition

### Non-symmetric operad

A *non-symmetric operad* (sometimes called an *operad without permutations*, or a *non- Σ {\displaystyle \Sigma }* or *plain* operad) consists of the following:

- a sequence ( P ( n ) ) n ∈ N {\displaystyle (P(n))_{n\in \mathbb {N} }} of sets, whose elements are called *n {\displaystyle n} -ary operations*,

- an element 1 {\displaystyle 1} in P ( 1 ) {\displaystyle P(1)} called the *identity*,

- for all positive integers n {\displaystyle n} , k 1 , … , k n {\textstyle k_{1},\ldots ,k_{n}} , a *composition* function

- ∘ : P ( n ) × P ( k 1 ) × ⋯ × P ( k n ) → P ( k 1 + ⋯ + k n ) ( θ , θ 1 , … , θ n ) ↦ θ ∘ ( θ 1 , … , θ n ) , {\displaystyle {\begin{aligned}\circ :P(n)\times P(k_{1})\times \cdots \times P(k_{n})&\to P(k_{1}+\cdots +k_{n})\\(\theta ,\theta _{1},\ldots ,\theta _{n})&\mapsto \theta \circ (\theta _{1},\ldots ,\theta _{n}),\end{aligned}}}

satisfying the following coherence axioms:

- *identity*: θ ∘ ( 1 , … , 1 ) = θ = 1 ∘ θ {\displaystyle \theta \circ (1,\ldots ,1)=\theta =1\circ \theta }

- *associativity*:

- - θ ∘ ( θ 1 ∘ ( θ 1 , 1 , … , θ 1 , k 1 ) , … , θ n ∘ ( θ n , 1 , … , θ n , k n ) ) = ( θ ∘ ( θ 1 , … , θ n ) ) ∘ ( θ 1 , 1 , … , θ 1 , k 1 , … , θ n , 1 , … , θ n , k n ) {\displaystyle {\begin{aligned}&\theta \circ {\Big (}\theta _{1}\circ (\theta _{1,1},\ldots ,\theta _{1,k_{1}}),\ldots ,\theta _{n}\circ (\theta _{n,1},\ldots ,\theta _{n,k_{n}}){\Big )}\\={}&{\Big (}\theta \circ (\theta _{1},\ldots ,\theta _{n}){\Big )}\circ (\theta _{1,1},\ldots ,\theta _{1,k_{1}},\ldots ,\theta _{n,1},\ldots ,\theta _{n,k_{n}})\end{aligned}}}

### Symmetric operad

A symmetric operad (often just called *operad*) is a non-symmetric operad P {\displaystyle P} as above, together with a right action of the [symmetric group](/source/Symmetric_group) S n {\displaystyle S_{n}} on P ( n ) {\displaystyle P(n)} for n ∈ N {\displaystyle n\in \mathbb {N} } , denoted by ∗ {\displaystyle *} and satisfying

- *equivariance*: given a permutation t ∈ S n {\displaystyle t\in S_{n}} ,

- - ( θ ∗ t ) ∘ ( θ 1 , … , θ n ) = ( θ ∘ ( θ t − 1 ( 1 ) , … , θ t − 1 ( n ) ) ) ∗ t ′ {\displaystyle (\theta *t)\circ (\theta _{1},\ldots ,\theta _{n})=(\theta \circ (\theta _{t^{-1}(1)},\ldots ,\theta _{t^{-1}(n)}))*t'} - (where t ′ {\displaystyle t'} on the right hand side refers to the element of S k 1 + ⋯ + k n {\displaystyle S_{k_{1}+\dots +k_{n}}} that acts on the set { 1 , 2 , … , k 1 + ⋯ + k n } {\displaystyle \{1,2,\dots ,k_{1}+\dots +k_{n}\}} by breaking it into n {\displaystyle n} blocks, the first of size k 1 {\displaystyle k_{1}} , the second of size k 2 {\displaystyle k_{2}} , through the n {\displaystyle n} th block of size k n {\displaystyle k_{n}} , and then permutes these n {\displaystyle n} blocks by t {\displaystyle t} , keeping each block intact)

- and given n {\displaystyle n} permutations s i ∈ S k i {\displaystyle s_{i}\in S_{k_{i}}} , - θ ∘ ( θ 1 ∗ s 1 , … , θ n ∗ s n ) = ( θ ∘ ( θ 1 , … , θ n ) ) ∗ ( s 1 , … , s n ) {\displaystyle \theta \circ (\theta _{1}*s_{1},\ldots ,\theta _{n}*s_{n})=(\theta \circ (\theta _{1},\ldots ,\theta _{n}))*(s_{1},\ldots ,s_{n})} - (where ( s 1 , … , s n ) {\displaystyle (s_{1},\ldots ,s_{n})} denotes the element of S k 1 + ⋯ + k n {\displaystyle S_{k_{1}+\dots +k_{n}}} that permutes the first of these blocks by s 1 {\displaystyle s_{1}} , the second by s 2 {\displaystyle s_{2}} , etc., and keeps their overall order intact).

The permutation actions in this definition are vital to most applications, including the original application to loop spaces.

### Morphisms

A morphism of operads f : P → Q {\displaystyle f:P\to Q} consists of a sequence

- ( f n : P ( n ) → Q ( n ) ) n ∈ N {\displaystyle (f_{n}:P(n)\to Q(n))_{n\in \mathbb {N} }}

that:

- preserves the identity: f ( 1 ) = 1 {\displaystyle f(1)=1}

- preserves composition: for every *n*-ary operation θ {\displaystyle \theta } and operations θ 1 , … , θ n {\displaystyle \theta _{1},\ldots ,\theta _{n}} ,

- - f ( θ ∘ ( θ 1 , … , θ n ) ) = f ( θ ) ∘ ( f ( θ 1 ) , … , f ( θ n ) ) {\displaystyle f(\theta \circ (\theta _{1},\ldots ,\theta _{n}))=f(\theta )\circ (f(\theta _{1}),\ldots ,f(\theta _{n}))}

- preserves the permutation actions: f ( x ∗ s ) = f ( x ) ∗ s {\displaystyle f(x*s)=f(x)*s} .

Operads therefore form a [category](/source/Category_(mathematics)) denoted by O p e r {\displaystyle {\mathsf {Oper}}} .

### In other categories

So far operads have only been considered in the [category](/source/Category_theory) of sets. More generally, it is possible to define operads in any [symmetric monoidal category](/source/Symmetric_monoidal_category) **C** . In that case, each P ( n ) {\displaystyle P(n)} is an object of **C**, the composition ∘ {\displaystyle \circ } is a morphism P ( n ) ⊗ P ( k 1 ) ⊗ ⋯ ⊗ P ( k n ) → P ( k 1 + ⋯ + k n ) {\displaystyle P(n)\otimes P(k_{1})\otimes \cdots \otimes P(k_{n})\to P(k_{1}+\cdots +k_{n})} in **C** (where ⊗ {\displaystyle \otimes } denotes the tensor product of the monoidal category), and the actions of the symmetric group elements are given by isomorphisms in **C**.

A common example is the category of [topological spaces](/source/Topological_spaces) and [continuous maps](/source/Continuous_map), with the monoidal product given by the [cartesian product](/source/Cartesian_product). In this case, an operad is given by a sequence of *spaces* (instead of sets) { P ( n ) } n ≥ 0 {\displaystyle \{P(n)\}_{n\geq 0}} . The structure maps of the operad (the composition and the actions of the symmetric groups) are then assumed to be continuous. The result is called a *topological operad*. Similarly, in the definition of a morphism of operads, it would be necessary to assume that the maps involved are continuous.

Other common settings to define operads include, for example, [modules](/source/Module_(mathematics)) over a [commutative ring](/source/Commutative_ring), [chain complexes](/source/Chain_complex), [groupoids](/source/Groupoid) (or even the [category of categories](/source/Category_of_categories) itself), [coalgebras](/source/Coalgebra), etc.

### Algebraist definition

Given a [commutative ring](/source/Commutative_ring) *R* we consider the category R - M o d {\displaystyle R{\text{-}}{\mathsf {Mod}}} of modules over *R*. An *operad* over *R* can be defined as a [monoid object](/source/Monoid_object) ( T , γ , η ) {\displaystyle (T,\gamma ,\eta )} in the [monoidal category of endofunctors](/source/Monoidal_category_of_endofunctors) on R - M o d {\displaystyle R{\text{-}}{\mathsf {Mod}}} (it is a [monad](/source/Monad_(category_theory))) satisfying some finiteness condition.[note 1]

For example, a monoid object in the category of "polynomial endofunctors" on R - M o d {\displaystyle R{\text{-}}{\mathsf {Mod}}} is an operad.[8] Similarly, a symmetric operad can be defined as a monoid object in the category of [S {\displaystyle \mathbb {S} } -objects](/source/S-object), where S {\displaystyle \mathbb {S} } means a symmetric group.[9] A monoid object in the category of [combinatorial species](/source/Combinatorial_species) is an operad in finite sets.

An operad in the above sense is sometimes thought of as a **generalized ring**. For example, [Nikolai Durov](/source/Nikolai_Durov) defines his generalized rings as monoid objects in the monoidal category of endofunctors on Set {\displaystyle {\textbf {Set}}} that commute with [filtered colimits](/source/Filtered_colimit).[10] This is a generalization of a ring since each ordinary ring *R* defines a monad Σ R : Set → Set {\displaystyle \Sigma _{R}:{\textbf {Set}}\to {\textbf {Set}}} that sends a set *X* to the underlying set of the [free *R*-module R ( X ) {\displaystyle R^{(X)}}](/source/Free_module) generated by *X*.

## Understanding the axioms

### Associativity axiom

"Associativity" means that *composition* of operations is associative (the function ∘ {\displaystyle \circ } is associative), analogous to the axiom in category theory that f ∘ ( g ∘ h ) = ( f ∘ g ) ∘ h {\displaystyle f\circ (g\circ h)=(f\circ g)\circ h} ; it does *not* mean that the operations *themselves* are associative as operations. Compare with the [associative operad](#Associative_operad), below.

Associativity in operad theory means that [expressions](/source/Expression_(mathematics)) can be written involving operations without ambiguity from the omitted compositions, just as associativity for operations allows products to be written without ambiguity from the omitted parentheses.

For instance, suppose θ {\displaystyle \theta } is a binary operation that is written as θ ( a , b ) {\displaystyle \theta (a,b)} or ( a b ) {\displaystyle (ab)} ( θ {\displaystyle \theta } is not necessarily associative). Then what is commonly written ( ( a b ) c ) {\displaystyle ((ab)c)} is unambiguously written operadically as θ ∘ ( θ , 1 ) {\displaystyle \theta \circ (\theta ,1)} . This sends ( a , b , c ) {\displaystyle (a,b,c)} to ( a b , c ) {\displaystyle (ab,c)} (apply θ {\displaystyle \theta } on the first two, and the identity on the third), and then the θ {\displaystyle \theta } on the left "multiplies" a b {\displaystyle ab} by c {\displaystyle c} . This is clearer when depicted as a tree:

which yields a 3-ary operation:

However, the expression ( ( ( a b ) c ) d ) {\displaystyle (((ab)c)d)} is *a priori* ambiguous: it could mean θ ∘ ( ( θ , 1 ) ∘ ( ( θ , 1 ) , 1 ) ) {\displaystyle \theta \circ ((\theta ,1)\circ ((\theta ,1),1))} , if the inner compositions are performed first, or it could mean ( θ ∘ ( θ , 1 ) ) ∘ ( ( θ , 1 ) , 1 ) {\displaystyle (\theta \circ (\theta ,1))\circ ((\theta ,1),1)} , if the outer compositions are performed first (operations are read from right to left). Writing x = θ , y = ( θ , 1 ) , z = ( ( θ , 1 ) , 1 ) {\displaystyle x=\theta ,y=(\theta ,1),z=((\theta ,1),1)} , this is x ∘ ( y ∘ z ) {\displaystyle x\circ (y\circ z)} versus ( x ∘ y ) ∘ z {\displaystyle (x\circ y)\circ z} . That is, the tree is missing "vertical parentheses":

If the top two rows of operations are composed first (puts an upward parenthesis at the ( a b ) c d {\displaystyle (ab)c\ \ d} line; does the inner composition first), the following results:

which then evaluates unambiguously to yield a 4-ary operation. As an annotated expression:

- θ ( a b ) c ⋅ d ∘ ( ( θ a b ⋅ c , 1 d ) ∘ ( ( θ a ⋅ b , 1 c ) , 1 d ) ) {\displaystyle \theta _{(ab)c\cdot d}\circ ((\theta _{ab\cdot c},1_{d})\circ ((\theta _{a\cdot b},1_{c}),1_{d}))}

If the bottom two rows of operations are composed first (puts a downward parenthesis at the a b c d {\displaystyle ab\quad c\ \ d} line; does the outer composition first), following results:

which then evaluates unambiguously to yield a 4-ary operation:

The operad axiom of associativity is that *these yield the same result*, and thus that the expression ( ( ( a b ) c ) d ) {\displaystyle (((ab)c)d)} is unambiguous.

### Identity axiom

The identity axiom (for a binary operation) can be visualized in a tree as:

meaning that the three operations obtained are equal: pre- or post-composing with the identity makes no difference. In category theory, θ ∘ 1 = θ = 1 ∘ θ {\displaystyle \theta \circ 1=\theta =1\circ \theta } is part of the definition of a category.

## Examples

### Endomorphism operad in sets and operad algebras

The most basic operads are the ones given in the section on "Intuition", above. For any set X {\displaystyle X} , we obtain the *endomorphism operad E n d X {\displaystyle {\mathcal {End}}_{X}}* consisting of all functions X n → X {\displaystyle X^{n}\to X} . These operads are important because they serve to define [operad algebras](/source/Operad_algebra). If O {\displaystyle {\mathcal {O}}} is an operad, an operad algebra over O {\displaystyle {\mathcal {O}}} is given by a set X {\displaystyle X} and an operad morphism O → E n d X {\displaystyle {\mathcal {O}}\to {\mathcal {End}}_{X}} . Intuitively, such a morphism turns each "abstract" operation of O ( n ) {\displaystyle {\mathcal {O}}(n)} into a "concrete" n {\displaystyle n} -ary operation on the set X {\displaystyle X} . An operad algebra over O {\displaystyle {\mathcal {O}}} thus consists of a set X {\displaystyle X} together with concrete operations on X {\displaystyle X} that follow the rules abstractly specified by the operad O {\displaystyle {\mathcal {O}}} .

### Endomorphism operad in vector spaces and operad algebras

If *k* is a [field](/source/Field_(mathematics)), we can consider the category of [finite-dimensional](/source/Finite-dimensional) [vector spaces](/source/Vector_space) over *k*; this becomes a monoidal category using the ordinary [tensor product](/source/Tensor_product) over *k.* We can then define endomorphism operads in this category, as follows. Let *V* be a finite-dimensional vector space The *endomorphism operad* E n d V = { E n d V ( n ) } {\displaystyle {\mathcal {End}}_{V}=\{{\mathcal {End}}_{V}(n)\}} of *V* consists of[11]

1. E n d V ( n ) {\displaystyle {\mathcal {End}}_{V}(n)} = the space of linear maps V ⊗ n → V {\displaystyle V^{\otimes n}\to V} ,

1. (composition) given f ∈ E n d V ( n ) {\displaystyle f\in {\mathcal {End}}_{V}(n)} , g 1 ∈ E n d V ( k 1 ) {\displaystyle g_{1}\in {\mathcal {End}}_{V}(k_{1})} , ..., g n ∈ E n d V ( k n ) {\displaystyle g_{n}\in {\mathcal {End}}_{V}(k_{n})} , their composition is given by the map V ⊗ k 1 ⊗ ⋯ ⊗ V ⊗ k n ⟶ g 1 ⊗ ⋯ ⊗ g n V ⊗ n → f V {\displaystyle V^{\otimes k_{1}}\otimes \cdots \otimes V^{\otimes k_{n}}\ {\overset {g_{1}\otimes \cdots \otimes g_{n}}{\longrightarrow }}\ V^{\otimes n}\ {\overset {f}{\to }}\ V} ,

1. (identity) The identity element in E n d V ( 1 ) {\displaystyle {\mathcal {End}}_{V}(1)} is the identity map id V {\displaystyle \operatorname {id} _{V}} ,

1. (symmetric group action) S n {\displaystyle S_{n}} operates on E n d V ( n ) {\displaystyle {\mathcal {End}}_{V}(n)} by permuting the components of the tensors in V ⊗ n {\displaystyle V^{\otimes n}} .

If O {\displaystyle {\mathcal {O}}} is an operad, a *k*-linear operad algebra over O {\displaystyle {\mathcal {O}}} is given by a finite-dimensional vector space *V* over *k* and an operad morphism O → E n d V {\displaystyle {\mathcal {O}}\to {\mathcal {End}}_{V}} ; this amounts to specifying concrete multilinear operations on *V* that behave like the operations of O {\displaystyle {\mathcal {O}}} . (Notice the analogy between *operads/operad algebras* and *rings/modules*: a module over a ring *R* is given by an abelian group *M* together with a ring homomorphism R → End ⁡ ( M ) {\displaystyle R\to \operatorname {End} (M)} .)

Depending on applications, variations of the above are possible: for example, in algebraic topology, instead of vector spaces and tensor products between them, one uses [(reasonable) topological spaces](/source/Reasonable_topological_space) and cartesian products between them.

### "Little something" operads

Operadic composition in the **little 2-disks operad,** explained in the text.

The *little 2-disks operad* is a topological operad where P ( n ) {\displaystyle P(n)} consists of ordered lists of *n* disjoint [disks](/source/Disk_(mathematics)) inside the [unit disk](/source/Unit_disk) of R 2 {\displaystyle \mathbb {R} ^{2}} centered at the origin. The symmetric group acts on such configurations by permuting the list of little disks. The operadic composition for little disks is illustrated in the accompanying figure to the right, where an element θ ∈ P ( 3 ) {\displaystyle \theta \in P(3)} is composed with an element ( θ 1 , θ 2 , θ 3 ) ∈ P ( 2 ) × P ( 3 ) × P ( 4 ) {\displaystyle (\theta _{1},\theta _{2},\theta _{3})\in P(2)\times P(3)\times P(4)} to yield the element θ ∘ ( θ 1 , θ 2 , θ 3 ) ∈ P ( 9 ) {\displaystyle \theta \circ (\theta _{1},\theta _{2},\theta _{3})\in P(9)} obtained by shrinking the configuration of θ i {\displaystyle \theta _{i}} and inserting it into the *i-*th disk of θ {\displaystyle \theta } , for i = 1 , 2 , 3 {\displaystyle i=1,2,3} .

Analogously, one can define the *little n-disks operad* by considering configurations of disjoint *n*-balls inside the unit ball of R n {\displaystyle \mathbb {R} ^{n}} .[12]

Originally the *little n-cubes operad* or the *little intervals operad* (initially called little *n*-cubes [PROPs](/source/PRO_(category_theory))) was defined by [Michael Boardman](/source/Michael_Boardman) and [Rainer Vogt](https://en.wikipedia.org/w/index.php?title=Rainer_Vogt&action=edit&redlink=1) in a similar way, in terms of configurations of disjoint [axis-aligned](/source/Axis-aligned) *n*-dimensional [hypercubes](/source/Hypercube) (*n*-dimensional [intervals](/source/Interval_(mathematics))) inside the [unit hypercube](/source/Unit_hypercube).[13] Later it was generalized by May[14] to the **little convex bodies operad**, and "little disks" is a case of "folklore" derived from the "little convex bodies".[15]

### Rooted trees

In [graph theory](/source/Graph_theory), [rooted trees](/source/Rooted_tree) form a natural operad. Here, P ( n ) {\displaystyle P(n)} is the set of all rooted trees with *n* leaves, where the leaves are numbered from 1 to *n.* The group S n {\displaystyle S_{n}} operates on this set by permuting the leaf labels. Operadic composition T ∘ ( S 1 , … , S n ) {\displaystyle T\circ (S_{1},\ldots ,S_{n})} is given by replacing the *i*-th leaf of T {\displaystyle T} by the root of the *i*-th tree S i {\displaystyle S_{i}} , for i = 1 , … , n {\displaystyle i=1,\ldots ,n} , thus attaching the *n* trees to T {\displaystyle T} and forming a larger tree, whose root is taken to be the same as the root of T {\displaystyle T} and whose leaves are numbered in order.

### Swiss-cheese operad

The **Swiss-cheese operad**.

The *Swiss-cheese operad* is a two-colored[*[definition needed](https://en.wikipedia.org/wiki/Wikipedia:Please_clarify)*] topological operad defined in terms of configurations of disjoint *n*-dimensional [disks](/source/Disk_(mathematics)) inside a unit *n*-semidisk and *n*-dimensional semidisks, centered at the base of the unit semidisk and sitting inside of it. The operadic composition comes from gluing configurations of "little" disks inside the unit disk into the "little" disks in another unit semidisk and configurations of "little" disks and semidisks inside the unit semidisk into the other unit semidisk.

The Swiss-cheese operad was defined by [Alexander A. Voronov](/source/Alexander_A._Voronov).[16] It was used by [Maxim Kontsevich](/source/Maxim_Kontsevich) to formulate a Swiss-cheese version of [Deligne's conjecture](/source/Deligne_conjecture) on [Hochschild cohomology](/source/Hochschild_cohomology).[17] Kontsevich's conjecture was proven partly by [Po Hu](https://en.wikipedia.org/w/index.php?title=Po_Hu&action=edit&redlink=1), [Igor Kriz](https://en.wikipedia.org/w/index.php?title=Igor_Kriz&action=edit&redlink=1), and [Alexander A. Voronov](/source/Alexander_A._Voronov)[18] and then fully by [Justin Thomas](https://en.wikipedia.org/w/index.php?title=Justin_Thomas_(mathematician)&action=edit&redlink=1).[19]

### Associative operad

Another class of examples of operads are those capturing the structures of algebraic structures, such as associative algebras, commutative algebras and Lie algebras. Each of these can be exhibited as a finitely presented operad, in each of these three generated by binary operations.

For example, the associative operad is a symmetric operad generated by a binary operation ψ {\displaystyle \psi } , subject only to the condition that

- ψ ∘ ( ψ , 1 ) = ψ ∘ ( 1 , ψ ) . {\displaystyle \psi \circ (\psi ,1)=\psi \circ (1,\psi ).}

This condition corresponds to [associativity](/source/Associativity) of the binary operation ψ {\displaystyle \psi } ; writing ψ ( a , b ) {\displaystyle \psi (a,b)} multiplicatively, the above condition is ( a b ) c = a ( b c ) {\displaystyle (ab)c=a(bc)} . This associativity of the *operation* should not be confused with associativity of *composition*, which holds in any operad; see the [axiom of associativity](#Axiom_of_associativity), above.

In the associative operad, each P ( n ) {\displaystyle P(n)} is given by the [symmetric group](/source/Symmetric_group) S n {\displaystyle S_{n}} , on which S n {\displaystyle S_{n}} acts by right multiplication. The composite σ ∘ ( τ 1 , … , τ n ) {\displaystyle \sigma \circ (\tau _{1},\dots ,\tau _{n})} permutes its inputs in blocks according to σ {\displaystyle \sigma } , and within blocks according to the appropriate τ i {\displaystyle \tau _{i}} .

The algebras over the associative operad are precisely the [semigroups](/source/Semigroup): sets together with a single binary associative operation. The *k*-linear algebras over the associative operad are precisely the [associative *k-*algebras](/source/Associative_algebra).

### Terminal symmetric operad

The terminal symmetric operad is the operad that has a single *n*-ary operation for each *n*, with each S n {\displaystyle S_{n}} acting trivially. The algebras over this operad are the commutative semigroups; the *k*-linear algebras are the commutative associative *k*-algebras.

### Operads from the braid groups

Similarly, there is a non- Σ {\displaystyle \Sigma } operad for which each P ( n ) {\displaystyle P(n)} is given by the [Artin](/source/Emil_Artin) [braid group](/source/Braid_group) B n {\displaystyle B_{n}} . Moreover, this non- Σ {\displaystyle \Sigma } operad has the structure of a braided operad, which generalizes the notion of a symmetric operad from symmetric to braid groups.

### Linear algebra

In [linear algebra](/source/Linear_algebra), real vector spaces can be considered to be algebras over the operad R ∞ {\displaystyle \mathbb {R} ^{\infty }} of all [linear combinations](/source/Linear_combination) [*[citation needed](https://en.wikipedia.org/wiki/Wikipedia:Citation_needed)*]. This operad is defined by R ∞ ( n ) = R n {\displaystyle \mathbb {R} ^{\infty }(n)=\mathbb {R} ^{n}} for n ∈ N {\displaystyle n\in \mathbb {N} } , with the obvious action of S n {\displaystyle S_{n}} permuting components, and composition x → ∘ ( y 1 → , … , y n → ) {\displaystyle {\vec {x}}\circ ({\vec {y_{1}}},\ldots ,{\vec {y_{n}}})} given by the concatentation of the vectors x ( 1 ) y 1 → , … , x ( n ) y n → {\displaystyle x^{(1)}{\vec {y_{1}}},\ldots ,x^{(n)}{\vec {y_{n}}}} , where x → = ( x ( 1 ) , … , x ( n ) ) ∈ R n {\displaystyle {\vec {x}}=(x^{(1)},\ldots ,x^{(n)})\in \mathbb {R} ^{n}} . The vector x → = ( 2 , 3 , − 5 , 0 , … ) {\displaystyle {\vec {x}}=(2,3,-5,0,\dots )} for instance represents the operation of forming a linear combination with coefficients 2,3,-5,0,...

This point of view formalizes the notion that linear combinations are the most general sort of operation on a vector space—saying that a vector space is an algebra over the operad of linear combinations is precisely the statement that *all possible* algebraic operations in a vector space are linear combinations. The basic operations of vector addition and scalar multiplication are a [generating set](/source/Generating_set) for the operad of all linear combinations, while the linear combinations operad canonically encodes all possible operations on a vector space.

Similarly, [affine combinations](/source/Affine_combination), [conical combinations](/source/Conical_combination), and [convex combinations](/source/Convex_combination) can be considered to correspond to the sub-operads where the terms of the vector x → {\displaystyle {\vec {x}}} sum to 1, the terms are all non-negative, or both, respectively. Graphically, these are the infinite affine hyperplane, the infinite hyper-octant, and the infinite simplex. This formalizes what is meant by R n {\displaystyle \mathbb {R} ^{n}} being or the standard simplex being model spaces, and such observations as that every bounded [convex polytope](/source/Convex_polytope) is the image of a simplex. Here suboperads correspond to more restricted operations and thus more general theories.

### Commutative-ring operad and Lie operad

The *commutative-ring operad* is an operad [whose algebras](/source/Operad_algebra) are the commutative rings. It is defined by P ( n ) = Z [ x 1 , … , x n ] {\displaystyle P(n)=\mathbb {Z} [x_{1},\ldots ,x_{n}]} , with the obvious action of S n {\displaystyle S_{n}} and operadic composition given by substituting polynomials (with renumbered variables) for variables. A similar operad can be defined whose algebras are the associative, commutative algebras over some fixed base field. The [Koszul-dual](/source/Koszul-dual) of this operad is the [Lie operad](/source/Lie_operad) (whose algebras are the Lie algebras), and vice versa.

## Free operads

Typical algebraic constructions (e.g., [free algebra](/source/Free_algebra) construction) can be extended to operads. Let S e t S n {\displaystyle \mathbf {Set} ^{S_{n}}} denote the category whose objects are sets on which the group S n {\displaystyle S_{n}} acts. Then there is a [forgetful functor](/source/Forgetful_functor) O p e r → ∏ n ∈ N S e t S n {\displaystyle {\mathsf {Oper}}\to \prod _{n\in \mathbb {N} }\mathbf {Set} ^{S_{n}}} , which simply forgets the operadic composition. It is possible to construct a [left adjoint](/source/Adjoint_functors) Γ : ∏ n ∈ N S e t S n → O p e r {\displaystyle \Gamma :\prod _{n\in \mathbb {N} }\mathbf {Set} ^{S_{n}}\to {\mathsf {Oper}}} to this forgetful functor (this is the usual definition of [free functor](/source/Free_functor)). Given a collection of operations *E*, Γ ( E ) {\displaystyle \Gamma (E)} is the free operad on *E.*

Like a group or a ring, the free construction allows to express an operad in terms of generators and relations. By a *free representation* of an operad O {\displaystyle {\mathcal {O}}} , we mean writing O {\displaystyle {\mathcal {O}}} as a quotient of a free operad F = Γ ( E ) {\displaystyle {\mathcal {F}}=\Gamma (E)} where *E* describes generators of O {\displaystyle {\mathcal {O}}} and the kernel of the epimorphism F → O {\displaystyle {\mathcal {F}}\to {\mathcal {O}}} describes the relations.

A (symmetric) operad O = { O ( n ) } {\displaystyle {\mathcal {O}}=\{{\mathcal {O}}(n)\}} is called *quadratic* if it has a free presentation such that E = O ( 2 ) {\displaystyle E={\mathcal {O}}(2)} is the generator and the relation is contained in Γ ( E ) ( 3 ) {\displaystyle \Gamma (E)(3)} .[20]

## Clones

Abstract [clones](/source/Clone_(algebra)) are the special case of operads that are also closed under identifying arguments together ("reusing" some data). Abstract clones can be equivalently defined as operads that are also a [minion](https://en.wikipedia.org/w/index.php?title=Minion_(algebra)&action=edit&redlink=1) (or *clonoid*).

## Operads in homotopy theory

This section needs expansion. You can help by adding missing information. (December 2018)

In [Stasheff (2004)](#CITEREFStasheff2004), Stasheff writes:

- Operads are particularly important and useful in categories with a good notion of "[homotopy](/source/Homotopy)", where they play a key role in organizing hierarchies of higher homotopies.

## Higher-order operad

This section needs expansion. You can help by adding missing information. (June 2025)

In [algebra](/source/Abstract_algebra), a **higher-order operad** is a [higher-dimensional](/source/Higher-dimensional_category_theory) generalization of an operad.[21][22]

## See also

- [PRO (category theory)](/source/PRO_(category_theory))

- [A∞-operad](/source/A%E2%88%9E-operad)

- [E∞-operad](/source/E%E2%88%9E-operad)

- [Pseudoalgebra](/source/Pseudoalgebra)

- [Multicategory](/source/Multicategory)

- [Opetope](/source/Opetope)

- [Pseudo-tensor category](/source/Pseudo-tensor_category)

## Notes

1. **[^](#cite_ref-9)** ”finiteness" refers to the fact that only a finite number of inputs are allowed in the definition of an operad. For example, the condition is satisfied if one can write 1. T ( V ) = ⨁ n = 1 ∞ T n ⊗ V ⊗ n {\displaystyle T(V)=\bigoplus _{n=1}^{\infty }T_{n}\otimes V^{\otimes n}} , 1. γ ( V ) : T n ⊗ T i 1 ⊗ ⋯ ⊗ T i n → T i 1 + ⋯ + i n {\displaystyle \gamma (V):T_{n}\otimes T_{i_{1}}\otimes \cdots \otimes T_{i_{n}}\to T_{i_{1}+\dots +i_{n}}} .

### Citations

1. **[^](#cite_ref-1)** [Boardman, J. M.](/source/Michael_Boardman); Vogt, R. M. (1 November 1968). ["Homotopy-everything $H$-spaces"](https://www.ams.org/journals/bull/1968-74-06/S0002-9904-1968-12070-1/home.html). *[Bulletin of the American Mathematical Society](/source/Bulletin_of_the_American_Mathematical_Society)*. **74** (6): 1117–1123. [doi](/source/Doi_(identifier)):[10.1090/S0002-9904-1968-12070-1](https://doi.org/10.1090%2FS0002-9904-1968-12070-1). [ISSN](/source/ISSN_(identifier)) [0002-9904](https://search.worldcat.org/issn/0002-9904).

1. **[^](#cite_ref-2)** [Boardman, J. M.](/source/Michael_Boardman); Vogt, R. M. (1973). *Homotopy Invariant Algebraic Structures on Topological Spaces*. Lecture Notes in Mathematics. Vol. 347. [doi](/source/Doi_(identifier)):[10.1007/bfb0068547](https://doi.org/10.1007%2Fbfb0068547). [ISBN](/source/ISBN_(identifier)) [978-3-540-06479-4](https://en.wikipedia.org/wiki/Special:BookSources/978-3-540-06479-4). [ISSN](/source/ISSN_(identifier)) [0075-8434](https://search.worldcat.org/issn/0075-8434).

1. **[^](#cite_ref-3)** [May, J. P.](/source/J._Peter_May) (1972). *The Geometry of Iterated Loop Spaces*. Lecture Notes in Mathematics. Vol. 271. [CiteSeerX](/source/CiteSeerX_(identifier)) [10.1.1.146.3172](https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.3172). [doi](/source/Doi_(identifier)):[10.1007/bfb0067491](https://doi.org/10.1007%2Fbfb0067491). [ISBN](/source/ISBN_(identifier)) [978-3-540-05904-2](https://en.wikipedia.org/wiki/Special:BookSources/978-3-540-05904-2). [ISSN](/source/ISSN_(identifier)) [0075-8434](https://search.worldcat.org/issn/0075-8434).

1. **[^](#cite_ref-Stasheff-et-al-2002_4-0)** "Operads in Algebra, Topology and Physics": Martin Markl, Steve Shnider, Jim Stasheff, Mathematical Surveys and Monographs, Volume: 96; 2002

1. **[^](#cite_ref-5)** [May, J. Peter](/source/J._Peter_May). ["Operads, Algebras, and Modules"](https://www.math.uchicago.edu/~may/PAPERS/mayi.pdf) (PDF). *math.uchicago.edu*. p. 2. Retrieved 28 September 2018.

1. **[^](#cite_ref-6)** [Ginzburg, Victor](/source/Victor_Ginzburg); Kapranov, Mikhail (1994). ["Koszul duality for operads"](https://projecteuclid.org/euclid.dmj/1077286744). *[Duke Mathematical Journal](/source/Duke_Mathematical_Journal)*. **76** (1): 203–272. [doi](/source/Doi_(identifier)):[10.1215/S0012-7094-94-07608-4](https://doi.org/10.1215%2FS0012-7094-94-07608-4). [ISSN](/source/ISSN_(identifier)) [0012-7094](https://search.worldcat.org/issn/0012-7094). [MR](/source/MR_(identifier)) [1301191](https://mathscinet.ams.org/mathscinet-getitem?mr=1301191). [S2CID](/source/S2CID_(identifier)) [115166937](https://api.semanticscholar.org/CorpusID:115166937). [Zbl](/source/Zbl_(identifier)) [0855.18006](https://zbmath.org/?format=complete&q=an:0855.18006) – via [Project Euclid](/source/Project_Euclid).

1. **[^](#cite_ref-7)** [Loday, Jean-Louis](/source/Jean-Louis_Loday) (1996). ["La renaissance des opérades"](http://www.numdam.org/item/SB_1994-1995__37__47_0). *www.numdam.org*. [Séminaire Nicolas Bourbaki](/source/S%C3%A9minaire_Nicolas_Bourbaki). [MR](/source/MR_(identifier)) [1423619](https://mathscinet.ams.org/mathscinet-getitem?mr=1423619). [Zbl](/source/Zbl_(identifier)) [0866.18007](https://zbmath.org/?format=complete&q=an:0866.18007). Retrieved 27 September 2018.

1. ^ [***a***](#cite_ref-Deligne_8-0) [***b***](#cite_ref-Deligne_8-1) Kontsevich, Maxim; Soibelman, Yan (26 January 2000). "Deformations of algebras over operads and Deligne's conjecture". [arXiv](/source/ArXiv_(identifier)):[math/0001151](https://arxiv.org/abs/math/0001151).

1. **[^](#cite_ref-10)** Jones, J. D. S.; Getzler, Ezra (8 March 1994). "Operads, homotopy algebra and iterated integrals for double loop spaces". [arXiv](/source/ArXiv_(identifier)):[hep-th/9403055](https://arxiv.org/abs/hep-th/9403055).

1. **[^](#cite_ref-11)** N. Durov, New approach to Arakelov geometry, University of Bonn, PhD thesis, 2007; [arXiv:0704.2030](http://www.arxiv.org/abs/0704.2030).

1. **[^](#cite_ref-12)** Markl, Martin (2006). "Operads and PROPs". *Handbook of Algebra*. **5** (1): 87–140. [arXiv](/source/ArXiv_(identifier)):[math/0601129](https://arxiv.org/abs/math/0601129). [doi](/source/Doi_(identifier)):[10.1016/S1570-7954(07)05002-4](https://doi.org/10.1016%2FS1570-7954%2807%2905002-4). [ISBN](/source/ISBN_(identifier)) [9780444531018](https://en.wikipedia.org/wiki/Special:BookSources/9780444531018). [S2CID](/source/S2CID_(identifier)) [3239126](https://api.semanticscholar.org/CorpusID:3239126). Example 2

1. **[^](#cite_ref-13)** Giovanni Giachetta, Luigi Mangiarotti, [Gennadi Sardanashvily](/source/Sardanashvily) (2005) *Geometric and Algebraic Topological Methods in Quantum Mechanics,* [ISBN](/source/ISBN_(identifier)) [981-256-129-3](https://en.wikipedia.org/wiki/Special:BookSources/981-256-129-3), [pp. 474,475](https://books.google.com/books?id=fLbisfrkWpoC&pg=PA474)

1. **[^](#cite_ref-14)** Greenlees, J. P. C. (2002). *Axiomatic, Enriched and Motivic Homotopy Theory*. Proceedings of the NATO Advanced Study Institute on Axiomatic, Enriched and Motivic Homotopy Theory. Cambridge, [United Kingdom](/source/United_Kingdom): Springer Science & Business Media. pp. 154–156. [ISBN](/source/ISBN_(identifier)) [978-1-4020-1834-3](https://en.wikipedia.org/wiki/Special:BookSources/978-1-4020-1834-3).

1. **[^](#cite_ref-15)** May, J. P. (1977). ["Infinite loop space theory"](http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.bams/1183538891&page=record). *Bull. Amer. Math. Soc*. **83** (4): 456–494. [doi](/source/Doi_(identifier)):[10.1090/s0002-9904-1977-14318-8](https://doi.org/10.1090%2Fs0002-9904-1977-14318-8).

1. **[^](#cite_ref-16)** Stasheff, Jim (1998). "Grafting Boardman's Cherry Trees to Quantum Field Theory". [arXiv](/source/ArXiv_(identifier)):[math/9803156](https://arxiv.org/abs/math/9803156).

1. **[^](#cite_ref-17)** Voronov, Alexander A. (1999). *The Swiss-cheese operad*. Contemporary Mathematics. Baltimore, Maryland, [United States](/source/United_States): AMS. pp. 365–373. [ISBN](/source/ISBN_(identifier)) [978-0-8218-7829-3](https://en.wikipedia.org/wiki/Special:BookSources/978-0-8218-7829-3).

1. **[^](#cite_ref-18)** Kontsevich, Maxim (1999). ["Operads and Motives in Deformation Quantization"](https://link.springer.com/article/10.1023/A:1007555725247). *[Lett. Math. Phys.](/source/Lett._Math._Phys.)* **48**: 35–72. [arXiv](/source/ArXiv_(identifier)):[math/9904055](https://arxiv.org/abs/math/9904055). [Bibcode](/source/Bibcode_(identifier)):[1999math......4055K](https://ui.adsabs.harvard.edu/abs/1999math......4055K). [doi](/source/Doi_(identifier)):[10.1023/A:1007555725247](https://doi.org/10.1023%2FA%3A1007555725247). [S2CID](/source/S2CID_(identifier)) [16838440](https://api.semanticscholar.org/CorpusID:16838440).

1. **[^](#cite_ref-19)** Hu, Po; Kriz, Igor; Voronov, Alexander A. (2006). ["On Kontsevich's Hochschild cohomology conjecture"](https://doi.org/10.1112%2FS0010437X05001521). *[Compositio Mathematica](/source/Compositio_Mathematica)*. **142** (1): 143–168. [arXiv](/source/ArXiv_(identifier)):[math/0309369](https://arxiv.org/abs/math/0309369). [doi](/source/Doi_(identifier)):[10.1112/S0010437X05001521](https://doi.org/10.1112%2FS0010437X05001521).

1. **[^](#cite_ref-20)** Thomas, Justin (2016). ["Kontsevich's Swiss cheese conjecture"](https://projecteuclid.org/euclid.gt/1510858920). *[Geom. Topol.](/source/Geom._Topol.)* **20** (1): 1–48. [arXiv](/source/ArXiv_(identifier)):[1011.1635](https://arxiv.org/abs/1011.1635). [doi](/source/Doi_(identifier)):[10.2140/gt.2016.20.1](https://doi.org/10.2140%2Fgt.2016.20.1). [S2CID](/source/S2CID_(identifier)) [119320246](https://api.semanticscholar.org/CorpusID:119320246).

1. **[^](#cite_ref-21)** Markl, Martin (2006). "Operads and PROPs". *Handbook of Algebra*. **5**: 87–140. [doi](/source/Doi_(identifier)):[10.1016/S1570-7954(07)05002-4](https://doi.org/10.1016%2FS1570-7954%2807%2905002-4). [ISBN](/source/ISBN_(identifier)) [9780444531018](https://en.wikipedia.org/wiki/Special:BookSources/9780444531018). [S2CID](/source/S2CID_(identifier)) [3239126](https://api.semanticscholar.org/CorpusID:3239126). Definition 37

1. **[^](#cite_ref-22)** Heuts, Gijs; Hinich, Vladimir; [Moerdijk, Ieke](/source/Ieke_Moerdijk) (2016). ["On the equivalence between Lurie's model and the dendroidal model for infinity-operads"](https://doi.org/10.1016%2Fj.aim.2016.07.021). *[Advances in Mathematics](/source/Advances_in_Mathematics)*. **302**: 869–1043. [arXiv](/source/ArXiv_(identifier)):[1305.3658](https://arxiv.org/abs/1305.3658). [doi](/source/Doi_(identifier)):[10.1016/j.aim.2016.07.021](https://doi.org/10.1016%2Fj.aim.2016.07.021). [S2CID](/source/S2CID_(identifier)) [119254588](https://api.semanticscholar.org/CorpusID:119254588).

1. **[^](#cite_ref-23)** [Leinster 2004](#CITEREFLeinster2004), Part II. NB: in the reference, a higher-order operad is called a generalized operad. harvnb error: no target: CITEREFLeinster2004 ([help](https://en.wikipedia.org/wiki/Category:Harv_and_Sfn_template_errors))

## References

- [Tom Leinster](/source/Tom_Leinster) (2004). *Higher Operads, Higher Categories*. Cambridge University Press. [arXiv](/source/ArXiv_(identifier)):[math/0305049](https://arxiv.org/abs/math/0305049). [Bibcode](/source/Bibcode_(identifier)):[2004hohc.book.....L](https://ui.adsabs.harvard.edu/abs/2004hohc.book.....L). [ISBN](/source/ISBN_(identifier)) [978-0-521-53215-0](https://en.wikipedia.org/wiki/Special:BookSources/978-0-521-53215-0).

- Martin Markl, [Steve Shnider](/source/Steve_Shnider), [Jim Stasheff](/source/Jim_Stasheff) (2002). [*Operads in Algebra, Topology and Physics*](https://www.ams.org/bookstore?fn=20&arg1=survseries&item=SURV-96). American Mathematical Society. [ISBN](/source/ISBN_(identifier)) [978-0-8218-4362-8](https://en.wikipedia.org/wiki/Special:BookSources/978-0-8218-4362-8).{{[cite book](https://en.wikipedia.org/wiki/Template:Cite_book)}}: CS1 maint: multiple names: authors list ([link](https://en.wikipedia.org/wiki/Category:CS1_maint:_multiple_names:_authors_list))

- Markl, Martin (June 2006). "Operads and PROPs". [arXiv](/source/ArXiv_(identifier)):[math/0601129](https://arxiv.org/abs/math/0601129).

- [Stasheff, Jim](/source/Jim_Stasheff) (June–July 2004). ["What Is...an Operad?"](https://www.ams.org/notices/200406/what-is.pdf) (PDF). *[Notices of the American Mathematical Society](/source/Notices_of_the_American_Mathematical_Society)*. **51** (6): 630–631. Retrieved 17 January 2008.

- [Loday, Jean-Louis](/source/Jean-Louis_Loday); Vallette, Bruno (2012), [*Algebraic Operads*](https://web.archive.org/web/20110823082848/http://www-irma.u-strasbg.fr/~loday/PAPERS/LodayVallette.pdf) (PDF), Grundlehren der Mathematischen Wissenschaften, vol. 346, Berlin, New York: [Springer-Verlag](/source/Springer-Verlag), [ISBN](/source/ISBN_(identifier)) [978-3-642-30361-6](https://en.wikipedia.org/wiki/Special:BookSources/978-3-642-30361-6), archived from [the original](http://www-irma.u-strasbg.fr/~loday/PAPERS/LodayVallette.pdf) (PDF) on 23 August 2011, retrieved 13 January 2011

- [Zinbiel, Guillaume W.](/source/Jean-Louis_Loday) (2012), "Encyclopedia of types of algebras 2010", in Bai, Chengming; Guo, Li; Loday, Jean-Louis (eds.), *Operads and universal algebra*, Nankai Series in Pure, Applied Mathematics and Theoretical Physics, vol. 9, pp. 217–298, [arXiv](/source/ArXiv_(identifier)):[1101.0267](https://arxiv.org/abs/1101.0267), [Bibcode](/source/Bibcode_(identifier)):[2011arXiv1101.0267Z](https://ui.adsabs.harvard.edu/abs/2011arXiv1101.0267Z), [ISBN](/source/ISBN_(identifier)) [9789814365116](https://en.wikipedia.org/wiki/Special:BookSources/9789814365116)

- Fresse, Benoit (17 May 2017), *Homotopy of Operads and Grothendieck-Teichmüller Groups*, Mathematical Surveys and Monographs, [American Mathematical Society](/source/American_Mathematical_Society), [ISBN](/source/ISBN_(identifier)) [978-1-4704-3480-9](https://en.wikipedia.org/wiki/Special:BookSources/978-1-4704-3480-9), [MR](/source/MR_(identifier)) [3643404](https://mathscinet.ams.org/mathscinet-getitem?mr=3643404), [Zbl](/source/Zbl_(identifier)) [1373.55014](https://zbmath.org/?format=complete&q=an:1373.55014)

- Miguel A. Mendéz (2015). *Set Operads in Combinatorics and Computer Science*. SpringerBriefs in Mathematics. [ISBN](/source/ISBN_(identifier)) [978-3-319-11712-6](https://en.wikipedia.org/wiki/Special:BookSources/978-3-319-11712-6).

- Samuele Giraudo (2018). *Nonsymmetric Operads in Combinatorics*. Springer International Publishing. [ISBN](/source/ISBN_(identifier)) [978-3-030-02073-6](https://en.wikipedia.org/wiki/Special:BookSources/978-3-030-02073-6).

## External links

- [Algebra + homotopy = operad](https://arxiv.org/pdf/1202.3245). Bruno Vallette, *Cambridge University Press*, (2014)

- [operad](https://ncatlab.org/nlab/show/operad) at the [*n*Lab](/source/NLab)

- [https://golem.ph.utexas.edu/category/2011/05/an_operadic_introduction_to_en.html](https://golem.ph.utexas.edu/category/2011/05/an_operadic_introduction_to_en.html)

---
Adapted from the Wikipedia article [Operad](https://en.wikipedia.org/wiki/Operad) by Wikipedia contributors ([contributor history](https://en.wikipedia.org/wiki/Operad?action=history)). Available under [Creative Commons Attribution-ShareAlike 4.0 International](https://creativecommons.org/licenses/by-sa/4.0/). Changes may have been made.