Operad theory is a field of abstract algebra concerned with prototypical algebras that model properties such as commutativity or anticommutativity as well as various amounts of associativity. Operads generalize the various associativity properties already observed in algebras and coalgebras such as Lie algebras or Poisson algebras by modeling computational trees within the algebra. Algebras are to operads as group representations are to groups. Originating from work in algebraic topology by Boardman and Vogt, and J. Peter May (to whom their name is due), it has more recently found many applications, drawing for example on work by Maxim Kontsevich on graph homology.
An operad can be seen as a set of operations, each one having a fixed finite number of inputs (arguments) and one output, which can be composed one with others; it is a category-theoretic analog of universal algebra.
Read more about Operad Theory: Origins of The Term
Famous quotes containing the word theory:
“It is not enough for theory to describe and analyse, it must itself be an event in the universe it describes. In order to do this theory must partake of and become the acceleration of this logic. It must tear itself from all referents and take pride only in the future. Theory must operate on time at the cost of a deliberate distortion of present reality.”
—Jean Baudrillard (b. 1929)