Contents

Idea

An operad is a gadget used to describe algebraic structures in symmetric monoidal categories. It is

• a bunch of abstract operations of arbitrarily many arguments;

• equipped with a notion of how to compose these;

• subject to evident associativity and unitality conditions.

An algebra over an operad is a concrete realization of these abstract operations: an object $A$ equipped with $n$-ary operations $A\otimes \cdots \otimes A\to A$ as specified by the operad, subject to the composition relation as specified by the operad.

This way an operad is like a Lawvere theory in that it can be used to describe algebraic structures having finitary operations obeying equational laws. However, unlike Lawvere theories, operads can be defined internal to general symmetric monoidal categories where the tensor product might not be the cartesian product.

The notion of operad (and allied notions such as PROP, club, multicategory and so on) come in many flavors. Originally used in algebraic topology to provide a systematic formalism for describing the internal operations which exist on iterated loop spaces, the basic idea is quite flexible and adaptable to many categorical situations, and the importance of operads continues to grow.

Definition in components

The original definition is due to Peter May and was given in his book (The Geometry of Iterated Loop Spaces). It describes an operad as a collection of operations equipped with a notion of composition and subject to various conditions.

This definition is essentially that of an enriched category, only that the hom-objects are allowed to go from more than one object to a given output object.

There is a more abstract way to encode all this simply as a monoid in a suitable ambient monoidal category. This more abstract definition we discuss below in A detailed conceptual treatment.

Plain operads

Let $V$ be a symmetric monoidal category. A ( permutative or symmetric) operad in $V$ consists of objects $F(n)$ of $V$ indexed over the natural numbers $n=0,1,2,\dots$ which we intuitively think of as “objects that parametrize the $n$-ary operations of an algebraic theory” equipped with the following extra structure:

• Right actions of symmetric groups ${\rho }_n:S_n\to \mathrm{hom}(F(n),F(n))$;

• A unit $e:I\to F(1)$ which we think of as picking out the identity map as unary operation;

• Composition operations

  $$F(k)\otimes F(n_1)\otimes F(n_2)\otimes \cdots \otimes F(n_k)\to F(n_1+\dots +n_k)$$F(k) \otimes F(n_1) \otimes F(n_2) \otimes \cdots \otimes F(n_k) \to F(n_1 + \ldots + n_k)

  which we think of as the result of plugging the outputs of operations ${\theta }_1,\dots ,{\theta }_k$ into a $k$-ary operation $\theta$, to produce a new operation $\theta \circ ({\theta }_1\otimes \dots \otimes {\theta }_k)$.

These data are subject to obvious identities such as associativity and unitality of composition, and compatibility of composition with symmetric group actions. For example, the unit laws say that the evident composite

is the identity map, as is

Compatibility with symmetric group actions means that for each element $\sigma \in S_k$, the composition operation

coequalizes a pair of automorphisms

where $\sigma$ acts on the big tensor product on the left by permuting tensor factors in the obvious way. If $V$ has suitable colimits, this condition could be expressed in terms of tensor products over $S_n$.

The associativity condition will be left for others to fill in.

Coloured operads

There is an evident generalization of the above where we allow the operad to have several objects – called colours is operad theory. This models algebraic structures where elements of different types may be fed into $n$-ary operations.

Let $C$ be a set, called the set of colours . Then a coloured operad is

• for each $n\in \mathbb{N}$ and each $(n+1)$-tuple $(c_1,\cdots c_n,c)$ an object $P(c_1,\cdots ,c_n;c)\in V$;

• for each $c\in C$ a morphism $1_c:I\to P(c;c)$ in $V$ – the identity on $c$;

• for each $(n+1)$-tuple $(c_1,\cdots ,c_n,c)$ and $n$ other tuples

  $(d_{1,1},\cdots ,d_{1,k_1}),\cdots ,(d_{n,1},\cdots ,d_{n,k_n})$

  a morphism

  $$P(c_1,\cdots ,c_n;c)\otimes P(d_{1,1},\cdots ,d_{1,k_1};c_1)\otimes \cdots \otimes P(d_{n,1},\cdots ,d_{n,k_n};c_n)\to P(d_{1,1},\cdots ,d_{n,k_n},c)$$P(c_1, \cdots, c_n; c) \otimes P(d_{1,1}, \cdots, d_{1,k_1}; c_1) \otimes \cdots \otimes P(d_{n,1}, \cdots, d_{n,k_n}; c_n) \to P(d_{1,1}, \cdots, d_{n,k_n}, c)

  the compoosition operation;

• for all $n$, all tuples, and each permutation $\sigma$ in the symmetric group ${\Sigma }_n$ a morphism

  $${\sigma }^{*}:P(c_1,\cdots ,c_n;c)\to P(c_{\sigma (1)},\cdots ,c_{\sigma (n)};c)$$\sigma^* : P(c_1, \cdots, c_n;c) \to P(c_{\sigma(1)}, \cdots, c_{\sigma(n)};c)

• subject to the conditions that

  • the $\sigma$s form a representation of ${\Sigma }_n$;

  • the composition operation satisfies associativity and unitality in the obvious way;

  • and is ${\Sigma }_n$ equivariant in the evident way.

An equivalent term for a colored operad in $V$ is a symmetric multicategory which is enriched over $V$. Which term is used depends on the author and the point of view being taken. (According to the common terminology of horizontal categorification, one might also call a colored operad an “operad-oid,” but thankfully this seems not to be common. On the other hand one might adapt the terminology backwards and call a category a “colored monoid”.)

Algebras

An algebra over an operad $F$ in $V$ is just a semantics for interpreting the $F(n)$ as objects of actual $n$-ary operations on an object $v$. That is, an $F$-algebra structure on an object $v$ in $V$ consists of a collection of maps

which intuitively is a mapping like this:

so that “elements” of $F(n)$ are interpreted as as $n$-ary operations on $v$. These data are subject to some natural conditions which implement this idea.

Perhaps the quickest way to define it is to suppose that $V$ is symmetric monoidal closed, and work by way of parallel to how representations or modules work. Just as an $R$-module (over a ring $R$) can be defined as a ring homomorphism

where the hom here is an internal hom of abelian groups, called an endomorphism ring, so there is such a thing as an endomorphism operad attached to any object $v$ in a symmetric monoidal closed category, and an $F$-algebra over an operad $F$ is the same thing as an operad morphism

to an endomorphism operad (also called a tautological operad).

Now that the clue has been given, the rest is not hard to figure out. The components of the endomorphism operad are defined by

Certainly $S_n$ acts on the right (that is, contravariantly) on the hom-object $\mathrm{hom}(v^{\otimes n},v)$. And clearly there is a canonical map $e:I\to \mathrm{hom}(v,v)$ to play the role of the unit. The operad composition involves an instance of enriched functoriality of iterated tensor products: there is a map

The endomorphism operad composition is obtained by tensoring this last arrow with $\mathrm{hom}(v^{\otimes k},v)$ on the left, and composing the result with ordinary internal hom-composition

A closely related way of defining an $F$-algebra is via the monad attached to an operad, which we will describe below.

Note that this definition still makes sense when $v$ lives in any symmetric monoidal $V$-enriched category, not only $V$ itself.

A detailed conceptual treatment

We describe here a compact one-sentence definition of operad first worked out by Max Kelly, after a few preliminaries which are important in their own right. The treatment is essentially an exercise in enriched category theory and the formalism of Day convolution. We will work this out fully in the case of ordinary category theory first, that is for categories enriched in $V=\mathrm{Set}$; the case for categories enriched in a complete, cocomplete, symmetric monoidal closed $V$ is completely parallel.

Preparation

Let $\mathbb{P}$ be the groupoid of finite cardinals with bijections as morphisms. Since $\mathbb{P}$ is the core groupoid of the category $\mathrm{Fin}$ of finite cardinals and functions between them, the coproduct on $\mathrm{Fin}$ restricts to a symmetric monoidal product called the cardinal sum on $\mathbb{P}$.

The cardinal sum on $\mathbb{P}$ extends along the Yoneda embedding to a symmetric monoidal product $F\otimes G$ on the presheaf category $\mathrm{Psh}(\mathbb{P}):=[{\mathbb{P}}^{\mathrm{op}},\mathrm{Set}]$. This is an instance of the Day convolution.

Since $\mathrm{Psh}(\mathbb{P})$ is a presheaf category, it is cocomplete, and since the Day convolution is cocontinuous in each of its separate arguments we say that $\mathrm{Psh}(\mathbb{P})$ is symmetric monoidally cocomplete.

According to the yoga of presheaf categories and Day convolution, given a symmetric monoidally cocomplete category $D$, a symmetric monoidal functor

extends uniquely up to isomorphism to a symmetric monoidal cocontinuous functor

taking a presheaf $W:{\mathbb{P}}^{\mathrm{op}}\to \mathrm{Set}$ to the weighted colimit $W\cdot X$.

The aforementioned universal property of $\mathrm{Psh}(\mathbb{P})$ with its convolution product may be more explicitly described as follows: given a symmetric monoidally cocomplete category $D$ and an object $d$ therein, there exists up to isomorphism a unique symmetric monoidal cocontinuous functor $\mathrm{Psh}(\mathbb{P})\to D$ which sends the presheaf representable by the cardinal $1$, $h_1$, to $d$.

Explicitly, this functor takes a presheaf $F:{\mathbb{P}}^{\mathrm{op}}\to \mathrm{Set}$ to the following object of $D$:

In detail: a species $G:{\mathbb{P}}^{\mathrm{op}}\to \mathrm{Set}$ induces a symmetric monoidal cocontinuous functor

The $k$-fold Day tensor power of $G$ is given (in the language of species) by the formula

where we sum over all ways of breaking up a finite set $S$ into $k$ blocks, some possibly empty. Thus we have an explicit description of the substitution product,

and it is clear from our discussion above that substitution is a monoidal product. The monoidal unit $I$ is a functor ${\mathbb{P}}^{\mathrm{op}}\to \mathrm{Set}$ where $I[n]$ is terminal if $n=1$, else is initial.

Definition as monoid

We are at last ready for the one-sentence definition:

A ($\mathrm{Set}$-based) operad is a monoid in the monoidal category $(\mathrm{Psh}(\mathbb{P}),\circ ,I)$.

Remarks

• We can get different flavors of operad by considering different notions of monoidal category. For instance, for the theory of monoidal categories, the discrete category $\mathbb{N}$ plays the role of the free (strict) monoidal category on one generator, and ${\mathrm{Set}}^{{\mathbb{N}}^{\mathrm{op}}}$ the free monoidally cocomplete category on one generator. Similarly, for braided monoidal categories, we have the braid category $𝔹$, and ${\mathrm{Set}}^{{𝔹}^{\mathrm{op}}}$ is the free braided monoidally cocomplete category on one generator. Again, for cartesian categories, we have ${\mathrm{Fin}}^{\mathrm{op}}$ (the opposite of finite sets and functions) as the free cartesian category on one generator, and ${\mathrm{Set}}^{\mathrm{Fin}}$ is the free cartesian monoidally cocomplete category on one generator. In each of these cases we get a corresponding notion of operad by following the above treatment mutatis mutandis: nonpermutative operads, braided operads, cartesian operads (better known as Lawvere theories). These are all special cases of the notion of generalized multicategory.

• All of the above carries over to the enriched setting, where we work over a complete, cocomplete symmetric monoidal closed base category $V$. Here ordinary categories (like $\mathbb{N},\mathbb{P},𝔹,\mathrm{Fin}$) are viewed as $V$-enriched by a simple change of base: change from hom-sets to hom-objects by applying the change of base functor

  $$\mathrm{Set}\to V$$Set \to V

  that takes a set $S$ to the $S$-fold coproduct $S\cdot I$, where $I$ is the monoidal unit of $V$. These can also be defined in the framework of generalized multicategories.

• The notion of generalized muticategories is even more general than this; for instance it also includes globular operads and topological spaces. See generalized multicategory for details.

• In still other directions, there are for example notions of cyclic operad and modular operad.

The monad attached to an operad

Each $\mathrm{Set}$-based operad $M$ gives rise to a monad $\hat{M}$ on $\mathrm{Set}$. Specifically, the monoidal category $(\mathrm{Psh}(\mathbb{P}),\circ ,I)$ acts on $\mathrm{Set}$ in such a way as to give an actegory structure, and therefore an operad or $\circ$-monoid gives rise to a monad on $\mathrm{Set}$.

Here are the details. There is a functor

which sends a set $X$ to the functor

taking $[n]$ to $X$ if $n=0$, else to $0$. This functor is full and faithful; conceptually, it treats a set $X$ as giving a set of 0-ary operations or constants indexed by itself. Notice that the composite

factors through the inclusion $i:\mathrm{Set}\to \mathrm{Psh}(\mathbb{P})$ (conceptually, when one applies a formal operation to constants, the result is again a constant). This gives an action

for an actegory structure; as it is the restriction of the substitution product $\circ$ along the inclusion $i$ in the second argument, we again denote it $\circ$, by abuse of notation. Given $F:{\mathbb{P}}^{\mathrm{op}}\to \mathrm{Set}$ and a set $X$, we have

and given $G:{\mathbb{P}}^{\mathrm{op}}\to \mathrm{Set}$, we also have coherent natural isomorphisms $(F\circ G)\circ X\cong F\circ (G\circ X)$, $I\circ X\cong X$.

This definition of the associated monad carries over with ease to the enriched case, and to variants such as nonpermutative operads, braided operads, and cartesian operads (Lawvere theories).

Notice that an algebra for the operad $\hat{M}$ is a set $X$ equipped with a structure map $\alpha :M\circ X\to X$ which makes $i(X)$ a module over the monoid $M$ in the monoidal category $\mathrm{Psh}(\mathbb{P})$.

See also related discussion at club.

Examples

Ambient categories of relevance in practice are

• Top/sSet – an operad in here is called a topological operad;

• category of chain complexes – an operad in here is called a dg-operad

Specific examples

• endomorphism operad

• associative operad

  • A-infinity operad

• commutative operad

  • E-k operad

    • E-infinity operad

    • framed little 2-disk operad

    • framed little n-disk operad

• operad for modules over an algebra

• Lie operad

  • L-∞ operad

• Eilenberg-Zilber operad

• linear operad

generalizations:

• (∞,1)-operad

General

• For $C$ a set, the initial object $I_C$ of $C$-coloured operads has $I_C(c;c)=I_V$ for all $c$ in $C$ and all other components of $I_C$ are the initial object of $V$.

• There is also a canonical notion of free operad.

Properties

Change of colour

Coloured operads form a fibered category over the category Set of colours. The fiber over a set $C$ is the category of $C$-coloured operads.

For $\alpha :D\to C$ a function of sets, there is an evident pullback functor

given by

Together with a morphism $\varphi :Q\to {\alpha }^{*}P$ of operads this induces a pair of adjoint functors on algebras over an operad

Model structures on operads

If the symmetric monoidal category $V$ that the operads under consideration are enriched in carries the structure of a monoidal model category, then under suitable conditions there is also the structure of a model category on the category of $V$-operads. This is important for the notion of homotopy algebra over an operad, such as $A_{\mathrm{\infty }}$- and $E_{\mathrm{\infty }}$-algebras.

See

• model structure on operads.

Koszul duality

On quadratic operads? in chain complexes there is a duality operation called Koszul duality. See there for details.

The category of operads

Operads and operad homomorphisms (for any given flavor of operads, as discussed above) form a category, Operad.

The Boardman-Vogt tensor product makes the category of symmetric colored operads over Set into a closed monoidal category.

Related concepts

• algebraic theory / Lawvere theory / (∞,1)-algebraic theory

• monad / (∞,1)-monad

• operad / (∞,1)-operad

  • cooperad

• cohomology of operads

References

The definition is originally due to

• Peter May, The geometry of iterated loop spaces (pdf)

An earlier version was the notion of analyser (known usually by French version analyseur), introduced in

• M. Lazard, Lois de groupes et analyseurs, Ann. École Norm. Sup. 72 (1955), pp. 299–400.

Monographs include:

• Igor Kriz, Peter May, Operads, algebras, modules and motives, Astérisque 233, Société Mathématique de France (1995).

• Martin Markl, Steve Shnider, James D. Stasheff, Operads in algebra, topology and physics, Math. Surveys and Monographs 96, Amer. Math. Soc. 2002.

• V.A. Smirnov, Simplicial and operad methods in algebraic topology

• Jean-Louis Loday, Bruno Valette, Algebraic operads, Grundlehren der mathematischen Wissenschaften, Volume 346, Springer-Verlag (2012). (xviii+512 pp. (pdf)

• Benoit Fresse, Modules over operads and functors, Springer LNM 1967, 2009, x+308 pp. MR2010e:18009

See also

• Todd Trimble, Notes on operads and the Lie operad (pdf)