##  [Operad](/operad-1) 

 Definition

An algebraic structure that encodes collections of operations with multiple inputs and one output, together with composition maps and (in the symmetric case) actions of symmetric groups that express permuting inputs.

 

 

 

 

 

 





## Principle

Principle

Operations are organized by arity, composed according to tree-like grafting rules, and obey equivariance and unit axioms; this isolates the combinatorics of composing operations without committing to a particular carrier where they act.

 

 

 

 

 





## Demonstration

Demonstration

The endomorphism operad of a vector space V has as n-ary operations the multilinear maps V^n → V with composition given by substitution; algebras over the associative operad recover associative algebra structures on V.

 

 

 

 

## Misapplication

Misapplication

Using operads interchangeably with monoids or assuming operads always track multiple outputs; for operations with multiple outputs one should use a PROP, and for encoding associative binary composition alone a monoid object may be sufficient.

 

 

 

 

 





## Consequence

Consequence

Operads classify types of algebras (associative, commutative, Lie, A-infinity, etc.), provide frameworks for homotopy-invariant algebraic structures, and organize higher-composition laws in topology and algebraic geometry.

 

 

 

 

## Reversal

Reversal

The categorical dual notion is a cooperad (decompositions instead of compositions); reversing composition direction yields structures used to model coalgebras and cohomological operations rather than algebraic multiplications.

 

 

 

 

 





## Boundary

Boundary

Concentrates on single-output operations and specified composition laws; excludes multi-output systems (PROPs), structures lacking coherent equivariance data, and unconstrained collections of operations not equipped with composition units and associativities.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Operad stands in tension with Lawvere theories and monads: operads emphasize grafting/compositional trees and symmetric-group actions for varied arities, while Lawvere theories present arities as products and monads encode algebraic structure via endofunctors; each framework suits different contexts.

 

 

 

 

 





## Synthesis

Synthesis

An Operad is a formal device organizing operations by arity with prescribed composition and symmetry rules so as to specify and classify algebraic structures built from multi-input, single-output operations and their coherent compositions.