A collection of spaces (or sets, vector spaces, etc.) O(n) for each natural number n (arity) together with composition maps and unit satisfying associativity, equivariance (when symmetric), and unit laws; encodes types of algebras by specifying abstract n-ary operations and how they compose.

Principle

The organizing principles are arity, composition and (when present) symmetric group actions: complex multilinear operations are built from simpler ones via coherent composition rules that respect permutation of inputs when required.

Demonstration

The endomorphism operad End_V has End_V(n) = Hom(V^{⊗ n}, V) with operadic composition given by substitution of multilinear maps; algebras over the associative operad recover associative algebras, and algebras over the commutative operad recover commutative algebras.

Misapplication

Confusing an operad with an algebra over an operad (treating the operad itself as an algebraic instance) or ignoring the symmetric group action when the structure requires it produces incorrect classification of operations and missed symmetries.

Consequence

Using operads organizes and classifies kinds of algebraic structures and their homotopy variants, allows transfer of operations via operadic morphisms, and provides a language for composing multilinear and higher operations coherently (useful in topology, homological algebra and deformation theory).

Reversal

Reversing to a PROP, monad, or multicategory highlights different primitives: PROPs encode operations with multiple outputs, monads package endofunctor-based algebraic structure, and multicategories relax symmetry or typing in different directions.

Boundary

Standard (single-colored) operads capture operations with one output and specified input arities; they exclude multi-output operations unless generalized (PROPs), and multi-colored operads or modular operads extend scope to typed inputs, graphs and genus considerations.

Semantic Tension

Competes with monads, PROPs and multicategories for expressing algebraic structure; the tension concerns whether to privilege compositional arity-based operations (operads) or to encode algebras via endofunctorial monads or multi-input/output PROPs.

Synthesis

An operad is an algebraic device that specifies how operations of various finite arities compose and permute, thereby encoding entire families of algebraic structures and their coherent compositions in a uniform, composable framework.