Fact-checked by Grok 2 weeks ago

Operad

An operad is a mathematical structure in abstract algebra and algebraic topology that encodes a family of operations with multiple inputs and a single output, equipped with composition maps that allow these operations to be combined in a coherent, associative manner, often incorporating symmetric group actions to account for permutations of inputs.^[1] Formally, in a symmetric monoidal category, an operad consists of objects C(n) for n \geq 0, a unit element in C(1), right actions by the symmetric group \Sigma_n on each C(n), and partial composition maps \gamma: C(k) \otimes C(j_1) \otimes \cdots \otimes C(j_k) \to C(j_1 + \cdots + j_k) satisfying associativity, unit, and equivariance axioms.^[1] These structures generalize monoids and provide a framework for studying multi-ary operations beyond binary ones, facilitating the definition of algebras and modules over them.^[2] Operads were introduced by J. Peter May in his 1972 work The Geometry of Iterated Loop Spaces to model the higher homotopies in based loop spaces and iterated loop spaces, building on earlier ideas from homotopy theory.^[3] Independently, Jim Stasheff developed related concepts through his work on associahedra and higher homotopy associativity (A_\infty spaces), which motivated the abstraction of operads as tools for "bookkeeping" families of composable n-ary functions.^[3] The term "operad" itself evokes both "operations" and "monads," reflecting their role in generating monads via endomorphism operads and enabling the study of algebraic structures up to homotopy.^[2] Key examples include the endomorphism operad \mathrm{End}_X, where \mathrm{End}_X(n) consists of maps from X^n to X for a space or set X, which acts on X to recover familiar structures like associative algebras when restricted appropriately.^[3] The little n-cubes operad E_n, comprising configurations of small n-dimensional cubes inside a unit cube, models E_n-algebras, such as strictly commutative rings for n=1 or homotopy commutative spaces for higher n.^[3] Applications span homotopy theory (e.g., recognition principles for loop spaces), homological algebra (e.g., A_\infty and L_\infty structures), and mathematical physics (e.g., string field theory), where operads capture coherent systems of operations with weak associativity.^[3] More broadly, operads in symmetric monoidal categories unify the study of various algebraic and topological phenomena, with extensions to \infty-operads in higher category theory.^[1]

History and Motivation

Historical Development

The concept of operads emerged from efforts in algebraic topology to formalize structures on loop spaces, building on earlier work in homotopy theory. In the 1960s, Jim Stasheff introduced the notion of A_\infty-structures, which captured higher homotopy associativity in H-spaces through infinite sequences of operations satisfying generalized associativity conditions up to homotopy.^[4] These structures provided precursors to operads by addressing the obstructions to strict associativity in topological settings.^[5] The formal definition of operads was established by J. Peter May in 1972, motivated by the need to recognize iterated loop spaces in algebraic topology.^[6] May's framework encoded the compositions of operations in loop spaces, enabling the study of their algebraic properties through a sequence of spaces with partial compositions.^[7] Around the same time, in the early 1970s, J. Michael Boardman and R. M. Vogt developed symmetric operads, incorporating symmetric group actions to handle permutations of inputs in topological and algebraic structures.^[8] Key publications advanced the theory significantly. May's seminal book The Geometry of Iterated Loop Spaces (1972) laid the foundational geometric and topological perspective.^[6] In the 1990s, Ezra Getzler and J. D. S. Jones explored connections between operads and moduli spaces of genus 0 curves, revealing deep links to Riemann surfaces and algebraic geometry.^[9] Concurrently, the theory evolved into broader algebraic and categorical contexts, with contributions from Jean-Louis Loday on cyclic and other variants, and Victor Ginzburg and Mikhail Kapranov introducing Koszul duality for operads, which provided homological tools for deformation and resolution theories.^[10]^[11] Post-2000 developments have extended operads to more general settings, including colored operads that allow multiple types of operations and inputs, enhancing applications in categorical algebra.^[12] These extensions have found use in quantum field theory, where operads model algebraic structures underlying field interactions and renormalization, with ongoing research exploring their role in conformal field theories and beyond.^[13]

Intuition and Motivation

Operads provide a framework for abstracting operations that take multiple inputs and produce a single output, generalizing the notion of composition found in familiar algebraic structures such as associative algebras, where multiplication combines two elements but can be iterated to handle more.^[14] This abstraction captures the essence of multi-ary operations, allowing one to specify how such operations compose in a coherent manner without specifying the underlying space or category.^[15] Just as monoids generalize the binary multiplication of numbers by encoding associativity and units abstractly, operads extend this idea to operations of arbitrary arity, treating n-ary compositions as fundamental building blocks that satisfy higher-order compatibility conditions.^[15] In this view, an operad acts like a "theory" for algebras, prescribing the rules for plugging outputs of smaller operations into the inputs of larger ones, much like how categories generalize monoids to multi-object settings.^[15] A key motivation arose in algebraic topology, where operads were developed to encode the structure of iterated loop spaces—topological spaces whose points represent loops that can be composed in multiple ways, requiring compositions to satisfy not just ordinary associativity but higher-dimensional analogues to ensure coherence under repeated iterations.^[16] Informally, these compositions can be visualized as grafting trees: each operation corresponds to a node with branches for inputs, and composing involves attaching subtrees to those branches, relabeling the leaves to track the overall arity while preserving the structure's integrity.^[14] Operads prove particularly useful because they enable the transfer of algebraic structures between different mathematical contexts, such as mapping the operations on a topological space to those on its chain complex in homology, thereby facilitating computations and generalizations across categories like spaces, spectra, and modules.^[15] This transferability stems from the roots in J. Peter May's foundational work on loop spaces, which highlighted operads' power in unifying disparate algebraic phenomena.^[16]

Core Definitions

Non-Symmetric Operads

A non-symmetric operad, also known as a plain or non-Σ operad, is a sequence of sets P(n) for n \geq 0, where each P(n) collects the n-ary operations of the structure. These operads provide a framework for encoding multi-ary operations without permuting inputs, building on the intuition of composing operations in a fixed order to model non-commutative algebraic structures.^[10] The partial composition maps are defined as \circ_i : P(n) \times P(m) \to P(n + m - 1) for each $1 \leq i \leq n, where the map grafts an operation from P(m) into the i-th input slot of an element of P(n), yielding a single operation of total arity n + m - 1. This composition respects the ordered nature of inputs, allowing for precise control over how suboperations are inserted without requiring symmetry. The total composition can be derived as \gamma: P(k) \times P(j_1) \times \cdots \times P(j_k) \to P(j_1 + \cdots + j_k). For instance, if \mu \in P(2), f \in P(m_1), and g \in P(m_2), then the total composition \mu \circ (f, g) grafts f into the first input and g into the second of \mu, resulting in an element of P(m_1 + m_2). Partial compositions are defined via \mu \circ_i \nu = \gamma(\mu; \mathrm{id}, \dots, \nu, \dots, \mathrm{id}) with \nu in the i-th position.^[10]^[14] The partial compositions satisfy a compatibility axiom, ensuring consistent grafting of inputs across multiple levels of composition. Specifically, there are two cases for associativity: sequential, where (\mu \circ_i \nu) \circ_j \rho = \mu \circ_i (\nu \circ_{j-i+1} \rho) for j > i, with appropriate index adjustments, and parallel, where insertions do not overlap, such as \mu \circ_{i+k-1} (\nu \circ_j \rho) = (\mu \circ_i \nu) \circ_{j+m-1} \rho for disjoint slots. These ensure that the order of compositions does not affect the final operation. Unlike symmetric operads, no equivariance under permutations of the inputs is imposed, preserving the distinguished ordering of the inputs.^[10]^[14] A unit element \mathrm{id} \in P(1) serves as the identity for compositions, satisfying \mathrm{id} \circ_1 \theta = \theta and \theta \circ_i \mathrm{id} = \theta for any \theta \in P(n) and $1 \leq i \leq n. This unitality ensures that inserting the identity leaves operations unchanged, facilitating the modeling of algebraic identities without additional symmetry constraints.^[10]^[14]

Symmetric Operads

Symmetric operads extend the framework of non-symmetric operads by endowing each arity component with a right action of the symmetric group S_n, allowing operations to account for permutations of indistinguishable inputs. This addition provides the prevailing modern notion of an operad, widely used to encode algebraic structures like associative or commutative algebras, where the labeling of inputs is irrelevant.^[10] In the category of sets, a symmetric operad \mathcal{P} is a sequence of sets \mathcal{P}(n) for n \geq 0, each with a right S_n-action denoted \mu \cdot \sigma for \mu \in \mathcal{P}(n) and \sigma \in S_n, a unit \mathrm{id} \in \mathcal{P}(1), and partial composition operations

\circ_i \colon \mathcal{P}(n) \times \mathcal{P}(m) \to \mathcal{P}(n + m - 1), \quad 1 \leq i \leq n, \ m \geq 0,

written \mu \circ_i \nu. Equivalently, the compositions can be described via the total map

\gamma \colon \mathcal{P}(k) \otimes \mathcal{P}(j_1) \otimes \cdots \otimes \mathcal{P}(j_k) \to \mathcal{P}(j_1 + \cdots + j_k),

for k \geq 0, j_r \geq 0, denoted \gamma(\mu; f_1, \dots, f_k) or \mu \circ (f_1, \dots, f_k).^[10]^[1] The defining axioms are unitality, associativity, and equivariance. Unitality requires that compositions with the unit yield the original operation: \mathrm{id} \circ_1 \mu = \mu and \mu \circ_i \mathrm{id} = \mu for all suitable \mu and i. In total notation, \mu \circ (\mathrm{id}, \dots, \mathrm{id}) = \mu and \mathrm{id} \circ (f) = f. Associativity ensures well-defined iterated compositions via commuting diagrams, such as

(\mu \circ_i \nu) \circ_j \rho = \mu \circ_i (\nu \circ_{j'} \rho)

with index adjustment j' = j - i + 1 if j > i, or similar for total compositions.^[10]^[17] The equivariance axiom enforces compatibility with symmetric group actions. In partial composition notation, for \sigma \in S_n, \tau \in S_m,

(\mu \circ_i \nu) \cdot (\sigma \oplus \tau) = (\mu \cdot \sigma) \circ_{\sigma(i)} (\nu \cdot \tau),

where \sigma \oplus \tau \in S_{n+m-1} is the block-sum permutation acting on the combined inputs. In total composition notation, for \sigma \in S_k, \tau_r \in S_{j_r},

\sigma \cdot (\mu \circ (f_1, \dots, f_k)) = \mu \circ_{\sigma} (f_{\sigma^{-1}(1)} \cdot \tau_{\sigma^{-1}(1)}, \dots, f_{\sigma^{-1}(k)} \cdot \tau_{\sigma^{-1}(k)}) \cdot \rho,

where \circ_{\sigma} permutes the input slots according to \sigma, and \rho \in S_{j_1 + \cdots + j_k} is the induced block permutation \tau_1 \oplus \cdots \oplus \tau_k rearranged by \sigma. These relations ensure that permuting the positions or inputs of a composition corresponds to permuting the overall result.^[10]^[17]^[1] The symmetry via S_n-actions is motivated by applications in algebra and physics, where operations often treat inputs as unordered, such as multilinear maps in invariant theory or vertex operators in quantum field theory, enabling a more natural description of such systems compared to ordered variants.^[10]^[15]

Operad Morphisms

A morphism between two nonsymmetric operads P and Q (in the category of vector spaces or sets) is a sequence of maps \phi_n: P(n) \to Q(n) for each n \geq 0, compatible with the operad structures. Specifically, these maps must preserve the partial compositions, satisfying

\phi_k \left( \mu \circ_i (\mu_1, \dots, \mu_k) \right) = \phi_n(\mu) \circ_i \left( \phi_{n_1}(\mu_1), \dots, \phi_{n_k}(\mu_k) \right)

for all \mu \in P(n), \mu_j \in P(n_j) with n = n_1 + \cdots + n_k and $1 \leq i \leq n, and preserve the units, so \phi_1(id_P) = id_Q.^[10] For symmetric operads, a morphism \phi: P \to Q additionally requires each \phi_n to be equivariant with respect to the symmetric group actions, meaning \phi_n(\mu \cdot \sigma) = \phi_n(\mu) \cdot \sigma for all \mu \in P(n) and \sigma \in S_n. This ensures the morphism respects the permutations in the operad structure. In both cases, the collection \{\phi_n\} forms a strict morphism, preserving the algebraic operations exactly.^[10] An isomorphism of operads is a bijective strict morphism whose inverse is also a strict morphism, establishing an equivalence of the operad structures. In the differential graded setting, weak variants such as \infty-morphisms (or homotopy morphisms) generalize this by allowing higher homotopical data, where a map is an \infty-isomorphism if it is invertible up to homotopy in the category of dg operads. These weak morphisms play a role in deformation theory and homotopy algebra. Free resolutions, such as the bar-cobar resolution \Omega B P \to P, appear as quasi-isomorphisms (weak morphisms inducing homology isomorphisms) in advanced homological contexts for operads.^[10]

Operads in Arbitrary Categories

In categories equipped with finite coproducts, nonsymmetric operads generalize the set-based notion by replacing disjoint unions with categorical coproducts. Specifically, let \mathcal{C} be a category with finite coproducts and a terminal object $1. A nonsymmetric operad \mathcal{P} in \mathcal{C} consists of objects \mathcal{P}(n) \in \mathcal{C} for each n \geq 0, a unit morphism \eta: 1 \to \mathcal{P}(1), and composition morphisms \gamma_{k; n_1, \dots, n_k}: \mathcal{P}(k) \coprod \mathcal{P}(n_1) \coprod \cdots \coprod \mathcal{P}(n_k) \to \mathcal{P}(n_1 + \cdots + n_k) for all k \geq 0 and n_i \geq 0, satisfying associativity (compositions associate via the pentagon axiom adapted to coproducts) and unitality (inserting the unit yields identity morphisms).^[10] These axioms ensure that algebras over \mathcal{P}—objects A \in \mathcal{C} equipped with maps \mathcal{P}(n) \coprod A^{\coprod n} \to A compatible with compositions—form a monoidal category under a suitable tensor product.^[1] This setup requires \mathcal{C} to have all finite coproducts to handle the multiple inputs in compositions, distinguishing it from the set case where coproducts are explicit disjoint unions.^[10] For symmetric operads, the ambient category must be symmetric monoidal to incorporate symmetric group actions on inputs. Let (\mathcal{V}, \otimes, I) be a symmetric monoidal category, where \otimes is the monoidal product and I the unit. A symmetric operad \mathcal{P} in \mathcal{V} comprises objects \mathcal{P}(n) \in \mathcal{V} for n \geq 0, right actions of the symmetric group \Sigma_n on each \mathcal{P}(n) (i.e., morphisms \mathcal{P}(n) \otimes I^{\otimes n} \to \mathcal{P}(n) permuting tensor factors compatibly), a unit \eta: I \to \mathcal{P}(1), and equivariant composition morphisms \gamma_{k; n_1, \dots, n_k}: \mathcal{P}(k) \otimes \mathcal{P}(n_1) \otimes \cdots \otimes \mathcal{P}(n_k) \to \mathcal{P}(n_1 + \cdots + n_k), again satisfying associativity, unitality, and now also \Sigma-equivariance (actions commute with compositions).^[1] The monoidal structure \otimes must support iterated tensors for the domain of \gamma, often requiring \mathcal{V} to be closed or cocomplete for practical constructions.^[10] In enriched settings, such as \mathcal{V}-enriched categories, the symmetric actions are enriched over \mathcal{V}, meaning the \Sigma_n-actions are natural transformations in the enriched sense, allowing operads to model enriched algebraic structures like enriched monoids.^[10] This framework applies to diverse categories beyond sets. In the category of vector spaces over a field k (denoted \mathbf{Vect}_k), equipped with the tensor product \otimes_k as the monoidal structure, operads \mathcal{P} have components \mathcal{P}(n) as k-vector spaces and compositions as k-linear maps, enabling the study of linear algebraic varieties like associative or Lie algebras via their endomorphism operads.^[1] Similarly, in the category of abelian groups \mathbf{Ab}, using the direct sum \oplus (which serves as both product and coproduct) as the monoidal operation, operads capture additive structures such as modules over rings.^[10] For topological spaces \mathbf{Top}, operads can use the cartesian product (for nonsymmetric cases) or disjoint union (coproducts) as the monoidal structure, though pointed variants often employ the smash product to model homotopy-invariant operations like those in loop spaces.^[10] In enriched categories over a symmetric monoidal \mathcal{V}, adjustments for symmetric actions involve defining \Sigma_n-representations enriched in \mathcal{V}, ensuring compositions respect the enrichment (e.g., via enriched naturality).^[10] This is crucial for applications in homotopy theory or higher categories, where \mathcal{V} might be simplicial sets. Operads in arbitrary categories relate to the broader framework of PROPs (products and permutations categories), which generalize operads by allowing operations with arbitrary output arities (natural numbers as objects) and all permutations as morphisms, thus encompassing multilinear algebraic theories beyond single-output operations.^[10]

Axioms and Properties

Associativity Axiom

The associativity axiom in an operad governs the compatibility of partial compositions, ensuring that the order in which operations are composed does not affect the final result. For a symmetric operad P, consider elements \lambda \in P(\ell), \mu \in P(m), and \nu \in P(n). The axiom consists of two conditions: the nested case, given by

(\lambda \circ_i \mu) \circ_{i+j-1} \nu = \lambda \circ_i (\mu \circ_j \nu)

for $1 \leq i \leq \ell and $1 \leq j \leq m, and the disjoint case,

(\lambda \circ_i \mu) \circ_{k+m-1} \nu = (\lambda \circ_k \nu) \circ_i \mu

for $1 \leq i < k \leq \ell, where \circ_r denotes partial composition in the r-th input position. Here, k in the nested case adjusts to i+j-1 to account for the shift in input positions after the inner composition \mu \circ_j \nu. In tree interpretations, operad elements correspond to rooted trees with operations at vertices and inputs at leaves; partial composition \alpha \circ_r \beta grafts the root of the tree for \beta onto the r-th leaf of the tree for \alpha. The associativity axiom ensures that double compositions, whether nesting \nu into \mu first and then into \lambda, or grafting \nu directly into the adjusted position of \lambda after composing \mu and \lambda, yield isomorphic trees with the same structure and labeling.^[18] This condition holds because it enforces consistent grafting rules on the planar trees underlying operad compositions, preventing discrepancies in how subtrees are attached regardless of the sequencing of operations. As a consequence, the axiom allows for the unambiguous definition of infinite iterated compositions, such as in the construction of infinite loop spaces or homotopy algebras, by guaranteeing that any finite approximation converges independently of parenthesization.

Unitality Axiom

The unitality axiom in the definition of an operad P posits the existence of an identity element \mathrm{id} \in P(1), which serves as a unary operation acting as the identity with respect to the partial composition operations. Specifically, for any f \in P(n), the right unit conditions require f \circ_i \mathrm{id} = f for $1 \leq i \leq n, meaning that inserting the identity into the i-th input slot of f yields f itself, while the left unit condition requires \mathrm{id} \circ_1 f = f, ensuring that composing f with the identity as the outer operation also recovers f. These conditions ensure that the identity behaves neutrally under operadic composition, preserving the structure of operations without alteration.^[19] The arity-zero component P(0) plays a complementary role in unital operads, consisting of constant (nullary) operations that produce outputs without inputs. In unital operads, P(0) often consists of nullary operations, and the partial composition f \circ_i \eta for \eta \in P(0) and f \in P(n) is defined, yielding an element of P(n-1) that effectively replaces the i-th input of f with the constant provided by \eta. This allows constants to be incorporated into higher-arity operations, reducing arity accordingly. In the context of unital operads over a field k, P(0) is often isomorphic to k, providing a single constant generator that interacts compatibly with the identity in P(1). This setup allows constants to propagate through compositions while maintaining coherence with the unit.^[20] The unitality axiom is essential for defining algebras over an operad, as it induces a unit element in the algebra. Given a unital operad P and a P-algebra structure on a vector space V, the action of \mathrm{[id](/page/id)} \in P(1) provides a map V \to V that is the identity morphism, while elements of P(0) yield constant maps from the base field to V, ensuring the algebra possesses a distinguished unit compatible with all operations. For instance, in the unital associative operad, this guarantees that algebras are unital associative algebras with a multiplicative identity satisfying \mu(1_V, v) = v = \mu(v, 1_V) for the binary multiplication \mu and all v \in V. Without unitality, algebras lack this canonical unit, modeling structures like non-unital associative algebras where no such identity exists. Variations in non-unital operads drop the requirement for \mathrm{[id](/page/id)} \in P(1), allowing extensions to broader classes of algebraic structures but requiring additional axioms for coherence in compositions.^[19]^[20]

Equivariance Axiom

For symmetric operads, the equivariance axiom ensures that the partial compositions are compatible with the right actions of the symmetric groups \Sigma_n on each P(n). Specifically, for \mu \in P(m), \lambda \in P(n), \sigma \in \Sigma_m, \tau \in \Sigma_n, and $1 \leq i \leq m, the axiom states:

(\mu \cdot \sigma) \circ_i (\lambda \cdot \tau) = (\mu \circ_{\sigma(i)} \lambda) \cdot (\id_m \circ_i \tau),

wait, more precisely, the induced permutation on the total inputs is the shuffle permutation corresponding to plugging \tau into the i-th position permuted by \sigma. Equivalently, the full composition \gamma satisfies \gamma(\mu \cdot \sigma; \lambda_1 \cdot \tau_1, \dots, \lambda_k \cdot \tau_k) = \gamma(\mu; \lambda_1, \dots, \lambda_k) \cdot (\sigma \shuffle (\tau_1, \dots, \tau_k)), where \shuffle denotes the induced block permutation. In tree interpretations, the symmetric group actions permute the leaves of the trees, and equivariance ensures that permuting inputs before or after grafting yields the same result up to relabeling. This axiom accounts for the indistinguishability of inputs under permutation, essential for modeling symmetric multi-ary operations.^[19]

Fundamental Examples

Endomorphism Operads

The endomorphism operad associated to a set X, denoted \End_X, has components

\End_X(n) = \Hom_{\Set}(X^n, X)

for each n \geq 0, where X^0 is a singleton and elements of \End_X(n) are all functions from the n-fold Cartesian product X^n to X.^[10] The symmetric group S_n acts on \End_X(n) by permuting the inputs: for \sigma \in S_n and f \in \End_X(n), (f \cdot \sigma)(x_1, \dots, x_n) = f(x_{\sigma^{-1}(1)}, \dots, x_{\sigma^{-1}(n)}).^[10] The unit is the identity map in \End_X(1).^[10] The operadic composition in \End_X is defined by substitution of functions on partitioned inputs: for f \in \End_X(k), g_i \in \End_X(n_i) with i = 1, \dots, k, and total arity m = n_1 + \cdots + n_k, the composite \gamma(f; g_1, \dots, g_k) \in \End_X(m) is given by

\gamma(f; g_1, \dots, g_k)(x_1, \dots, x_m) = f\bigl( g_1(x_1, \dots, x_{n_1}), \dots, g_k(x_{n_1 + \cdots + n_{k-1} + 1}, \dots, x_m) \bigr),

where the inputs are partitioned into consecutive blocks of sizes n_1, \dots, n_k.^[10] This composition is associative, unital, and equivariant with respect to the S_n-actions, making \End_X a symmetric operad in the category of sets.^[10] In the category of vector spaces over a field k, the endomorphism operad \End_V associated to a vector space V is defined analogously by \End_V(n) = \Hom_k(V^{\otimes n}, V) for n \geq 0, where V^{\otimes 0} = k and elements are k-linear maps (multilinear in the inputs).^[10] The S_n-action is induced by permuting the tensor factors: (f \cdot \sigma)(v_1 \otimes \cdots \otimes v_n) = f(v_{\sigma^{-1}(1)} \otimes \cdots \otimes v_{\sigma^{-1}(n)}).^[10] The composition follows the same substitution pattern as in sets, but using tensor products:

\gamma(f; g_1, \dots, g_k)(v_1 \otimes \cdots \otimes v_m) = f\bigl( g_1(v_1 \otimes \cdots \otimes v_{n_1}) \otimes \cdots \otimes g_k(v_{n_1 + \cdots + n_{k-1} + 1} \otimes \cdots \otimes v_m) \bigr),

with f \in \End_V(k), g_i \in \End_V(n_i), and m = n_1 + \cdots + n_k; this yields a symmetric operad structure.^[10] An algebra over an operad P (a P-algebra) on a vector space V is realized by a morphism of symmetric operads \phi: P \to \End_V, which equips V with compatible n-ary operations \phi_n(\mu): V^{\otimes n} \to V for each generator \mu \in P(n).^[10] In this framework, when P is the associative operad, the action via \End_V generates the structure of an associative algebra on V, consisting of a bilinear multiplication that is associative and unital.^[10]

Little Operads

Little operads, also known as "little something" operads, are topological operads that encode homotopy coherent algebraic structures through geometric configurations of embeddings.^[21] These operads provide models for recognizing certain types of loop spaces by approximating the geometric operations in iterated loop constructions.^[21] The paradigmatic example is the little n-disks operad, often denoted E_n or C_n, where the space E_n(k) consists of configurations of k pairwise disjoint open n-disks embedded into the interior of the unit n-disk D^n via affine maps that send the boundary of each small disk to the boundary of D^n.^[21] These embeddings are parametrized by translations and positive scalings in each coordinate direction, ensuring the images are disjoint and contained in the open unit disk; equivalently, one may use little n-cubes embedded linearly into the unit cube I^n = [0,1]^n with parallel axes.^[21] The operad composition is induced by composing these embeddings: given a configuration in E_n(k) and configurations in E_n(j_i) for i=1,\dots,k, one embeds the j_i small disks into each of the k disks of the first configuration, yielding a new configuration in E_n(\sum j_i).^[21] This structure satisfies the operad axioms, with the symmetric group \Sigma_k acting freely on E_n(k) by permuting the k small disks, making E_n a symmetric operad.^[21] A non-symmetric variant of the little n-disks operad omits the \Sigma_k-action, resulting in a non-symmetric operad that encodes operations without inherent permutability.^[21] For n=1, the little 1-disks (or intervals) operad E_1 models associative operations up to homotopy, with E_1(k) parametrizing k disjoint open intervals embedded affinely into (0,1).^[21] For n=2, the little 2-disks (or squares) operad E_2 captures structures that are commutative up to homotopy, where E_2(k) involves configurations of k small disks or squares in the unit disk or square.^[21] These little operads relate to delooping via the recognition principle, which asserts that a topological space equipped with a free action of the little n-disks operad E_n is weakly homotopy equivalent to an n-fold loop space.^[21] This principle facilitates the identification of n-fold deloopings in homotopy theory by verifying E_n-algebra structures.^[21] In analogy to endomorphism operads, little operads emphasize geometric embeddings to model homotopy coherence rather than strict algebraic maps.^[21]

Tree-Based Operads

Tree-based operads provide a combinatorial framework for encoding algebraic operations through the structure of rooted trees, where each operation corresponds to a tree and compositions are realized graphically via grafting. In this construction, the components of the operad in arity n, denoted P(n), are formal linear combinations or sets of rooted trees possessing exactly n leaves, with the arity determined solely by the number of leaves.^[10] This graphical representation facilitates an intuitive understanding of operadic compositions, as grafting subtrees onto the leaves of a primary tree mirrors the substitution of operations within an algebra.^[22] The non-symmetric version of the tree operad employs ordered or planar rooted trees, where the children of each internal vertex are arranged in a fixed sequence, reflecting the sequential nature of inputs without permutations. Here, the composition operation \gamma: P(k) \times P(n_1) \times \cdots \times P(n_k) \to P(n_1 + \cdots + n_k) is defined by grafting the roots of the k input trees onto distinct leaves of the primary tree in P(k), preserving the planar embedding. The unit element resides in P(1) as the trivial tree consisting of a single edge connecting the root to a single leaf.^[10] In contrast, the symmetric tree operad incorporates the action of the symmetric group S_n on the leaves of each tree in P(n), allowing for reordering of inputs; the underlying trees are non-planar rooted trees, and compositions via grafting are equivariant under this group action to ensure compatibility with symmetries.^[10] These tree-based operads bear a configurational similarity to little operads, such as the little disks operads, in their use of tree-like embeddings to model compositions, though the former rely on discrete combinatorial structures rather than continuous topological ones. Furthermore, tree-based operads are intimately connected to free operads, as the latter can be realized explicitly using trees as basis elements to generate all possible compositions from a given collection of generators.^[10]

Associative Operad

The associative operad, denoted \mathrm{Ass}, is a nonsymmetric operad that encodes structures of associative algebras in a symmetric monoidal category, such as vector spaces over a field. It provides a universal framework for defining associative multiplications of arbitrary arity, where the operations satisfy generalized associativity conditions derived from tree compositions.^[10] The components of \mathrm{Ass} are defined as one-dimensional vector spaces for n \geq 1, spanned by a single generator \mu_n representing the fully associative n-ary multiplication, while \mathrm{Ass}(0) is the zero space. The symmetric group actions are absent in this nonsymmetric setting, distinguishing it from symmetric variants. The partial compositions are given by \mu_k \circ_i \mu_l = \mu_{k+l-1} for $1 \leq i \leq k, which uniquely determines the grafting of operations and corresponds to the unique way to associate inputs along any planar tree structure. This composition rule ensures that all possible associations of inputs yield the same result, reflecting the core property of associativity without additional relations.^[10]^[23] An algebra over \mathrm{Ass} in a category like vector spaces consists of an object A equipped with maps \mu_n: A^{\otimes n} \to A for n \geq 1, satisfying the operad's composition relations, which enforce that higher-arity operations are compatible with iterated binary multiplications. These algebras are precisely the associative algebras, where the binary operation \mu_2 satisfies (a \cdot b) \cdot c = a \cdot (b \cdot c), and higher \mu_n extend it associatively. For unital versions, one adjoins a unit in arity 1, but the core \mathrm{Ass} focuses on nonunital structures.^[10]^[14] The operad \mathrm{Ass} arises as a quotient of the endomorphism operad \mathrm{End}_V for a vector space V, where the higher relations imposed by associativity collapse the free structure to a single generator per arity, eliminating independent higher operations beyond those dictated by binary compositions. This quotient captures the essential algebraic data of associativity without the full generality of endomorphisms.^[10]

Commutative and Lie Operads

The commutative operad, denoted Com, is a fundamental example of a symmetric operad that encodes the structure of commutative associative algebras. It is defined such that Com(n) is the one-dimensional vector space over the base field K for each n ≥ 1, generated by a single element representing the n-ary commutative multiplication, with the symmetric group S_n acting trivially on Com(n). This trivial action reflects the full symmetry of the operations, where permutations of inputs do not alter the result, and compositions are defined via the unique maps induced by the unit isomorphisms in the symmetric monoidal category. Algebras over Com are precisely commutative monoids (or commutative associative algebras when unital), where a structure map μ: A ⊗ A → A satisfies μ(x ⊗ y) = μ(y ⊗ x) and the associativity condition, generalizing to higher arities through the operad composition.^[10] In contrast, the Lie operad, denoted Lie, captures the axioms of Lie algebras through a quadratic presentation. It is generated by a single binary operation, the Lie bracket [−, −]: Lie(2) → K⟨[x₁, x₂]⟩, which is antisymmetric under the sign representation of S₂, and higher arity components Lie(n) are obtained by composing this generator while quotienting by the ideal of relations. Specifically, Lie(n) is the (n−1)!-dimensional S_n-module consisting of the multilinear Lie polynomials in n variables, spanned by fully bracketed expressions like nested brackets on {x₁, ..., x_n}, with S_n acting by permuting the variables and incorporating signs from antisymmetry. The defining relations are antisymmetry, [x, y] + [y, x] = 0, and the Jacobi identity, [[x, y], z] + [[y, z], x] + [[z, x], y] = 0, which ensure that all compositions satisfy these identities in every arity. Algebras over Lie are Lie algebras, vector spaces equipped with a bilinear skew-symmetric bracket obeying the Jacobi identity, such as the tangent space of a Lie group at the identity.^[10] These operads build on the associative operad by incorporating additional symmetry or antisymmetry constraints, respectively, to model more specific algebraic structures. Notably, Com and Lie are Koszul dual to each other, with the Koszul dual of Com being Lie and vice versa, highlighting their complementary roles in operad theory.^[10]

Advanced Constructions

Free Operads

In operad theory, the free operad generated by a collection S = \{S(n)\}_{n \geq 0} of sets, denoted \mathrm{Free}(S), is the symmetric operad whose components consist of all possible abstract compositions of elements from S, subject only to the axioms of symmetric operads (associativity, unitality, and equivariance under symmetric group actions), with no additional relations imposed.^[10] This construction embeds S into \mathrm{Free}(S) via inclusion maps i_n: S(n) \to \mathrm{Free}(S)(n), making \mathrm{Free}(S) the "freest" such operad.^[17] The explicit construction of \mathrm{Free}(S) proceeds via decorated trees: its underlying \mathbb{S}-module is spanned by isomorphism classes of rooted trees whose internal vertices are labeled by elements of S, with leaves corresponding to inputs and the root to the output, where the arity of a tree is the number of leaves.^[10] Composition in \mathrm{Free}(S) is defined by grafting such trees at designated input edges, followed by symmetrization under the action of the symmetric group \Sigma_n on the n-ary component. This tree-based presentation ensures that every element arises from finite iterated substitutions of generators from S, modulo the operadic axioms.^[17] The free operad \mathrm{Free}(S) satisfies a universal property: for any symmetric operad P and any family of maps f_n: S(n) \to P(n) compatible with the inclusions, there exists a unique operad morphism \tilde{f}: \mathrm{Free}(S) \to P such that \tilde{f} \circ i_n = f_n for all n.^[10] This characterizes \mathrm{Free}(S) as the initial object in the category of symmetric operads equipped with maps from S, allowing it to serve as a universal envelope for generating collections.^[17] In the graded setting, where S is a graded \mathbb{S}-module with components S(n)_d in degree d, the free operad \mathrm{Free}(S) inherits a bigrading by arity n and total degree k (e.g., sum of labels' degrees). The dimension of the (n,k)-component is the number of rooted trees with n leaves, internal vertices labeled by homogeneous generators from S totaling degree k, divided by the order of the stabilizer under \Sigma_n-actions on the leaves.^[10]

Clones

In universal algebra, a clone on a fixed set A is defined as a subset of the class of all finitary operations on A—that is, functions from finite powers A^n to A for n \geq 0—such that it contains all projection operations \pi_{i,n}: A^n \to A (where \pi_{i,n}(x_1, \dots, x_n) = x_i for $1 \leq i \leq n) and is closed under composition of operations.^[24] Composition in a clone is defined by substituting operations into the inputs of another: for an m-ary operation f: A^m \to A and m n_j-ary operations g_j: A^{n_j} \to A (j = 1, \dots, m), the composite is the (n_1 + \dots + n_m)-ary operation f(g_1, \dots, g_m): A^{n_1 + \dots + n_m} \to A.^[25] Non-symmetric operads embed into the category of clones via a forgetful functor that associates to each operad its underlying clone generated by the operad's operations under the permitted compositions, thereby viewing operadic structures as special presentations of clone-closed systems.^[26] This embedding highlights clones as a broader framework for studying composition-closed operation sets, where the operad's partial and total composition maps induce the clone's closure property. A representative example is the full clone on A, which comprises all possible finitary functions A^n \to A for every n \geq 0; this is closed under composition by function composition and includes all projections as the basic unary and higher-ary selectors.^[24] In contrast, a polynomial clone arises in the context of algebras over rings: for a commutative ring R with identity, the polynomial clone on R consists of all functions R^n \to R expressible as polynomial maps with coefficients in R, generated from projections, constants, and addition/multiplication, and closed under substitution.^[27] Clones differ from non-symmetric operads in that they impose no restrictions on the arities beyond finiteness and lack the associative or unital axioms that define operadic algebras, focusing instead solely on closure under arbitrary compositions while mandating the inclusion of all projections to ensure variable access without additional structure.^[26] This makes clones a parallel but more permissive construct for abstracting algebraic operations in single-sorted settings.

Higher-Order Operads

Higher-order operads, also known as operads of operads, generalize the concept of an operad by constructing them within the category of operads themselves. Formally, given a category \mathcal{E} equipped with a cartesian monad T, a T-operad consists of a T-graph C: \mathcal{E} \to T \mathbf{1} (where \mathbf{1} is the terminal object) together with a composition map C \circ C \to C in the category \mathrm{Span}(\mathcal{E}, T), satisfying associativity and unit axioms analogous to those of standard operads.^[28] Here, the objects C(n) for n \geq 0 are themselves operads in \mathcal{E}, and the composition combines these operads via the monad structure, allowing operations to act on operations in a hierarchical manner. This structure captures iterated abstractions where the arity in one level corresponds to operads at the next level.^[28] In more explicit terms, within an iterated monoidal category V that is k-fold monoidal, an n-fold operad \mathcal{C} comprises objects \mathcal{C}(j) for j \geq 0, a unit map J: I \to \mathcal{C}(1), and composition maps \gamma_{p,q}: \mathcal{C}(k) \otimes_p (\mathcal{C}(j_1) \otimes_q \cdots \otimes_q \mathcal{C}(j_k)) \to \mathcal{C}(j) for appropriate indices, where \otimes_p and \otimes_q are the monoidal products at levels p and q, and these satisfy associativity and unit laws using interchange transformations \eta_{p,q}.^[29] Each \mathcal{C}(j) inherits the operad structure from the ambient category, enabling the modeling of multi-sorted operations on algebraic structures.^[29] A canonical example is the operad of endomorphism operads. For an object X in a symmetric monoidal category \mathcal{E}, the endomorphism operad \mathrm{End}(X) has \mathrm{End}(X)(n) = \mathcal{E}(X^{\otimes n}, X); extending this, the higher-order version \mathrm{End}^{\mathcal{O}}(X) acts on operads over X, where (\mathrm{End}^{\mathcal{O}}(X))(n) consists of natural transformations between endomorphism operads, composing via substitution of operations.^[28] This example illustrates how higher-order operads parametrize families of operads, such as those arising from algebras over a base operad.^[28] Higher-order operads find applications in modeling operations on operations, particularly in higher category theory, where they provide a framework for defining n-categories as algebras over such structures.^[29] For instance, they facilitate the construction of weak higher categories by encoding pasting diagrams and coherence conditions through operadic composition.^[28] This iterated abstraction supports the study of meta-theories in algebra and topology.^[29] These structures relate to polycategories, as higher-order operads can be viewed as special cases of polycategories with multiple output arities, where the operadic composition corresponds to poly-morphisms in a higher-dimensional setting; similarly, they connect to higher PROPs by generalizing the symmetric monoidal framework to allow for operad-valued operations.^[28]

Applications in Homotopy Theory

Operads in Topology

In the category of topological spaces, an operad is a topological operad if all structure maps, including the compositions \gamma: \mathcal{P}(n) \times \mathcal{P}(k_1) \times \cdots \times \mathcal{P}(k_n) \to \mathcal{P}(k_1 + \cdots + k_n), are continuous functions.^[21] This ensures that algebras over such operads inherit topological structures compatible with their operations, facilitating the study of homotopy-invariant algebraic structures on spaces.^[21] A prototypical example is the little n-disks operad \mathcal{E}_n, where each \mathcal{E}_n(k) consists of the space of configurations of k disjoint open n-disks (of any radii less than 1) embedded into the unit n-disk D^n, parameterized by translations and scalings without overlap.^[21] Compositions are defined by embedding one configuration of disks into another via affine maps, preserving the topological category structure and enabling the modeling of n-fold loop space operations.^[21] The Boardman-Vogt resolution, or W-construction, provides a cofibrant replacement for topological operads by replacing abstract operations with labeled trees whose edges carry lengths in the interval [0,1], inducing a weak equivalence W(\mathcal{P}) \simeq \mathcal{P} in the model category of topological spaces.^[30] This resolution incorporates explicit homotopy data, allowing the transfer of algebraic structures across weak equivalences while preserving the operad's homotopy type, and it plays a key role in delooping constructions for infinite loop spaces.^[30] May's recognition theorem asserts that a topological space X is weakly equivalent to an n-fold loop space \Omega^n Y for some connected Y if and only if X admits the structure of a grouplike algebra over the little n-disks operad \mathcal{E}_n, up to weak equivalence.^[21] More precisely, grouplike \mathcal{E}_n-algebras classify n-fold deloopings, with the monoid structure on \pi_0(X) ensuring connectivity and the operad action encoding higher homotopies.^[21] This equivalence extends to \mathcal{E}_\infty-operads for infinite loop spaces, providing a topological criterion for deloopability without relying on explicit fibrations.^[21] To bridge simplicial and topological settings, the fat realization functor |-| : \mathbf{sTop} \to \mathbf{Top} applies to simplicial operads by taking the fat geometric realization of each component space, which preserves finite limits up to homotopy and converts levelwise weak equivalences of simplicial operads into weak equivalences of the resulting topological operads. Unlike the thin realization, the fat version disregards degeneracies to ensure compatibility with monoidal structures and homotopy colimits, making it suitable for realizing combinatorial operad models in topology.^[20]

Koszul Duality for Operads

Koszul duality provides a powerful framework for studying resolutions and homological properties of operads, particularly those that are quadratic. A quadratic operad P over a field k of characteristic zero is presented by a symmetric collection E of generators and a collection R \subseteq T(E)(2) of quadratic relations, where T(E) denotes the free operad on E. The Koszul dual operad P^! is then defined as the quadratic operad generated by the sign-shifted dual sE^\vee with relations orthogonal to R, formally P^! = T(sE^\vee)/(R^\perp). This duality extends the classical Koszul duality for associative algebras to the operadic setting, enabling the construction of minimal free resolutions for P-algebras.^[12]^[10] Central to this theory is the bar-cobar construction, which yields free resolutions for Koszul operads. The bar construction B(P) on a dg operad P produces a dg cooperad, while the cobar construction \Omega(C) on a conilpotent dg cooperad C yields a dg operad, with these functors being adjoint. For a quadratic operad P, the Koszul complex is formed via the twisted composite K(P) = P^! \circ_\kappa P, where \kappa: P^! \to B(P) is the canonical twisting morphism encoding the quadratic relations. An operad P is Koszul if this complex is acyclic, meaning H(K(P)) \cong P as cooperads, providing a minimal free resolution \Omega(B(P)) \simeq P that is quasi-isomorphic to P itself. This resolution is particularly effective for computing homology and cohomology of P-algebras.^[12]^[10] The duality manifests through a pairing between the operad P and the cobar construction on its dual. Specifically, there is a natural bilinear pairing \langle -, - \rangle: P \otimes \Omega(P^!) \to k induced by the duality between generators and relations, which is non-degenerate when P is Koszul. This pairing underlies the homological algebra, allowing the identification of Ext and Tor groups in the category of P-algebras via the Koszul resolution. For quadratic relations, the pairing respects the operadic composition, ensuring that the cohomology of the Koszul complex captures the minimal model of P.^[12]^[10] Prominent examples illustrate the theory's scope. The associative operad \mathrm{Ass}, governing associative algebras, is quadratic with generators in arity 2 and the associativity relation; it is self-dual (\mathrm{Ass}^! \simeq \mathrm{Ass}) and Koszul, yielding a trivial resolution via its bar-cobar construction. The commutative operad \mathrm{Com}, for commutative algebras, has \mathrm{Com}^! \simeq \mathrm{Lie} (up to suspension), and both are Koszul, with the duality pairing the symmetric relations of \mathrm{Com} against the antisymmetric Jacobi and Leibniz relations of \mathrm{Lie}. Similarly, the Lie operad is Koszul, dual to \mathrm{Com}, facilitating explicit computations of their homologies. These cases confirm the acyclicity of the Koszul complexes through confluence criteria on monomial relations.^[10]^[31] Applications of Koszul duality extend to deformation theory and rational homotopy theory. In deformation theory, the Koszul resolution provides a dg Lie algebra model for the deformations of a P-algebra, where Maurer-Cartan elements in the resolution encode infinitesimal deformations, and the cobar construction resolves obstruction spaces via higher homotopy. For instance, for Koszul operads like \mathrm{Lie}, this yields explicit control over quantizations and moduli spaces. In rational homotopy theory, Koszul duality links minimal models of simply connected spaces to \mathrm{Com}- and \mathrm{Lie}-algebra structures, with the bar-cobar resolution producing Sullivan or Quillen models that compute rational homotopy groups through operadic cohomology. This algebraic framework underpins the equivalence between rational homotopy categories and formal moduli problems.^[10]^[12]

References

[1]
[PDF] definitions: operads, algebras and modules - UChicago Math
Definition 1. An operad C in S consists of objects C (j), j ≥ 0, a unit map η : κ → C (1), a right action by the symmetric group Σj on C (j) for each j, and.
[2]
[PDF] OPERADS, ALGEBRAS AND MODULES There are many different ...
Operads are a convenient setting for studying algebras and modules, and the name is meant to bring to mind both operations and monads.
[3]
What Is. . .an Operad?, Volume 51, Number 6
An operad is an abstraction of a family of composable functions of n variables for various n, useful for the “bookkeeping” and applications of such families.
[4]
[PDF] Homotopy Associativity of H-Spaces. I
... higher homotopy associativity; received by the editors March 8, 1962. (1) ... J. D. Stasheff, On homotopy Abelian H-spaces, Proc. Cambridge Philos. Soc ...
[5]
[1809.02526] $L_\infty$ and $A_\infty$ structures: then and now - arXiv
Sep 4, 2018 · Looking back over 55 years of higher homotopy structures, I reminisce as I recall the early days and ponder how they developed and how I now see them.
[6]
[PDF] Springer-Verlag Berlin Heidelberg New York 1972
This is the first of a series of papers devoted to the study. ,of iterated loop spaces. Our goal is to develop a simple and coherent theory which encompasses ...Missing: Peter | Show results with:Peter
[7]
https://www.tac.mta.ca/tac/reprints/articles/13/tr13.pdf
[8]
Operads and PROPs - ScienceDirect.com
The name operad and the formal definition appear first in the early 1970s in J.P. May's book [86], but a year or more earlier, M. Boardman and R. Vogt [9] ...<|control11|><|separator|>
[9]
Operads and moduli spaces of genus 0 Riemann surfaces - arXiv
Nov 9, 1994 · We study a pair of dual operads which arise in the study of moduli spaces of pointed genus 0 curves (this duality is similar to that between commutative and ...
[10]
[PDF] Algebraic Operads Jean-Louis Loday and Bruno Vallette
Feb 5, 2016 · An operad is an algebraic device, which encodes a type of algebras. Instead of studying the properties of a particular algebra, ...
[11]
Koszul duality for operads - Project Euclid
Koszul duality for operads. Victor Ginzburg, Mikhail Kapranov. DOWNLOAD PDF + SAVE TO MY LIBRARY. Duke Math. J. 76(1): 203-272 (October 1994).
[12]
[0709.1228] Koszul duality for Operads - arXiv
Sep 8, 2007 · View a PDF of the paper titled Koszul duality for Operads, by Victor Ginzburg and Mikhail Kapranov ... (1994). Subjects: Algebraic Geometry ...
[13]
[1709.08657] Operads for algebraic quantum field theory - arXiv
Sep 25, 2017 · Abstract:We construct a colored operad whose category of algebras is the category of algebraic quantum field theories.
[14]
[PDF] A Gentle Introduction to Algebraic Operads - arXiv
Aug 3, 2025 · Since the 1990s, operad theory has experienced a remarkable resurgence, with applications across algebraic geometry, mathematical physics, and ...
[15]
operad in nLab
Jun 9, 2025 · An operad is a gadget used to describe algebraic structures in symmetric monoidal categories. It is Just like a monoid can be seen as a single-object category.
[16]
https://ncatlab.org/nlab/show/The+Geometry+of+Iterated+Loop+Spaces
[17]
[PDF] An introduction to operad theory - Alistair Savage
In this section, we define morphisms of nonsymmetric and symme- tric operads, and then see how these morphisms can encode the data of various algebraic.
[18]
[PDF] Lectures on Algebraic Operads | ORBilu
Definition 7.3 (Combinatorial definition of symmetric operads):. A symmetric operad is an algebra over the monad (T ,γ,i). More precisely, a symmetric operad.
[19]
[2508.01886] A Gentle Introduction to Algebraic Operads - arXiv
Aug 3, 2025 · ... Lie algebras can be fully recovered as categories of representations ... operads to be formally presented through generators and relations.
[20]
Algebraic Operads | SpringerLink
An operad is an algebraic device that serves to study all kinds of algebras (associative, commutative, Lie, Poisson, A-infinity, etc.) from a conceptual point ...Missing: definition | Show results with:definition
[21]
[PDF] The Geometry of Iterated Loop Spaces
Feb 1, 2007 · Sections 4 through 8 are concerned with the geometry of iterated loop spaces and with the approximation theorem. The definition of the ...
[22]
[PDF] Algebraic combinatorics and trees
Mar 22, 2007 · The unit 1 is the planar rooted tree without any inner vertex. Composition is given by grafting of a leaf with a root. F. Chapoton. Algebraic ...
[23]
associative operad in nLab
Jun 3, 2025 · Assoc is the operad whose algebras are monoids; ie objects equipped with an associative and unital binary operation.
[24]
https://doi.org/10.1016/j.entcs.2014.02.006
[25]
clone in nLab
Jul 29, 2022 · An abstract clone is a structure that describes a single-sorted algebraic theory in a presentation-invariant way.Definition · Examples · Abstract clones from algebraic... · Abstract clones from...
[26]
[1205.3050] Operads, clones, and distributive laws - arXiv
May 14, 2012 · We show how non-symmetric operads (or multicategories), symmetric operads, and clones, arise from three suitable monads on Cat, each extending ...
[27]
[PDF] Polynomials and Structure of Universal Algebras
A clone is constantive or a polynomial clone if it contains all unary constant functions. Every constantive clone is the set of polynomial functions of some ...
[28]
[PDF] operads in higher-dimensional category theory
Feb 20, 2004 · ... category, operad, higher-dimensional category. c Tom Leinster, 2004 ... A category will be said to have disjoint finite coproducts if it has ...
[29]
https://arxiv.org/pdf/math/0411561.pdf
[30]
Homotopy Invariant Algebraic Structures on Topological Spaces
Free delivery 14-day returnsDownload chapter PDF · Motivation and historical survey. J. M. Boardman, R. M. Vogt. Pages 1-26. Topological-algebraic theories. J. M. Boardman, R. M. Vogt.
[31]
[PDF] Algebraic operads, Koszul duality and Gröbner bases: an introduction
In this lecture series, we will focus on algebraic operads: our goal is to introduce the reader to these objects in general and to quadratic operads in ...