symmetric monoidal (∞,1)-category of spectra
The vertices of correspond to ways in which one can bracket a product of variables. The edges correspond to rebracketings, the faces relate different sequences of rebracketings that lead to the same result, and so on.
The associahedra were introduced by Jim Stasheff in order to describe topological spaces equipped with a multiplication operation that is associative up to every higher coherent homotopy.
Here is the rough idea, copied, for the moment, verbatim from Markl94 p. 26 (for more details see references below):
For the associahedron is an -dimensional polyhedron whose -dimensional cells are, for , indexed by all (meaningful) insertions of pairs of brackets between independent indeterminants, with suitably defined incidence maps.
is the empty set, a degenerate case not usually considered.
is simply the shape of a binary operation:
x \otimes y ,
which we interpret here as a single point.
is the shape of the usual associator or associative law
(x \otimes y) \otimes z \to x \otimes (y \otimes z) ,
consisting of a single interval.
The fourth associahedron is the pentagon which expresses the different ways a product of four elements may be bracketed
(image from the Wikimedia Commons)
A template which can be cut out and assembled into a can be found here.
Rotatable illustrations of some Stasheff polyhedra can be found at
The above list shows that the first few Stasheff polytopes are nothing but the first few orientals. This doesn’t remain true as increases. The orientals are free strict omega-categories on simplexes as parity complexes. This means that certain interchange cells (e.g., Gray tensorators) show up as thin in the oriental description.
The first place this happens is the sixth oriental: where there are three tensorator squares and six pentagons in Stasheff’s , the corresponding tensorator squares coming from are collapsed.
There is a categorification of associahedra discussed in
The original article that defines associahedra and in which the operad that gives -topological spaces is implicit is
A textbook discussion (slightly modified) is in section 1.6 of the book
Further explanations and references are collected at