##  [Operad](/operad) 

  ##  [Operad](https://puremath.quantumdictionary.io/operad-0) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics & Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Definition

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.

 

 

 

 

 





 

 



 ##  [Operad](https://algebra.quantumdictionary.io/operad-1) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

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.