1
$\begingroup$

From here:

Operads are a generic structure giving a more precise definition of these terms. An operad is an abstract set of operations of various arities (an ugly word to precise the number or arguments taken by an operation: a ternary operation is said to have arity three), subject to relations between them or their compositions. For example, the operad of vector spaces consists of two basic operations: sum and product by scalars (which are actually infinitely many operations), which are tied by distributivity, commutativity and associativity among other relations. An example of operation of this monad is (x, y, z) → 2x + 3y + z, which is a ternary operation. An operad T defines a natural associated monad, which associates to a set X the set

Is not an “operad” a particular case of a “signature”/“theory” in mathematical logic? Why invent a new word?

  • 0
    Sorry, I mean “a particular case of a signature/theory”.2011-03-21

1 Answers 1

1

Although they have non-empty intersection, none is a special case of the other.

The analogue of an operad in universal algebra is the clone of the theory; but this is a minor difference. The more substantial difference is that operads are defined in such a way that they can have models in any monoidal category. This allows for example, to speak of monoids in the category of linear spaces with monoidal structure given by tensor product a.k.a. (associative, unital) algebras. On the other hand, this implies some restrictions; for example there is no operad for groups. Why? Well, the inverse axiom is

$x x^{-1}= 1, x^{-1} x= 1$

but to express this axiom you need to "double" the variable $x$. How do you that categorially? You need the diagonal map $X\to X\times X$ and for this map to exist, the monoidal structure must come from products. The tensor product of linear spaces is an obvious example of a monoidal structure that does not come from products.

Hope it helps, regards, G. Rodrigues

  • 0
    Arch, I forgot one other difference between PROPs and (symmetric) operads: in an operad all the operations have n inputs and one output, in a PROP you can have operations with any number of outputs (often this is unnecessary and I think people now use operads for several of the original uses of PROPs). So operads and PROPS are actually incomparable in generality.2011-03-30