Operad
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.