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 indeterminates, with suitably defined incidence maps.
Simplicially subdivided associahedra (complete with simplicial operadic structure) can be presented efficiently in terms of an abstract bar construction. Let be the monad which takes a graded set to the non-permutative non-unital operad freely generated by , with monad multiplication denoted . Let be the graded set that is empty for and terminal for ; this carries a unique non-unital non-permutative operad structure, via a structure map . The bar construction is an (augmented) simplicial graded set (an object in ) whose face maps take the form
Intuitively, the (graded set of) -cells consists of planar trees where each inner node has two or more incoming edges, with trees graded by number of leaves; the extreme points are binary trees [corresponding to complete binary bracketings of words], whereas other trees are barycenters of higher-dimensional faces of Stasheff polytopes. The construction carries a simplicial (non-permutative non-unital) operad structure, where the geometric realization of the simplicial set at grade (or arity?) defines the barycentric subdivision of the Stasheff polytope . As the operad structure on is expressed in finite product logic and geometric realization preserves finite products, the (simplicially subdivided) associahedra form in this way the components of a topological operad.
Jean-Louis Loday gave a simple formula for realizing the Stasheff polytopes as a convex hull of integer coordinates in Euclidean space (Loday 2004). Let denote the set of (rooted planar) binary trees with leaves (and hence internal vertices). For any binary tree , define a vector whose th coordinate is the product of the number of leaves to the left of the th internal vertex () by the number of leaves to the right of the th internal vertex ().
The convex hull of the points is a realization of the Stasheff polytope of dimension .
is the empty set, a degenerate case not usually considered.
is simply the shape of a binary operation:
which we interpret here as a single point.
is the shape of the usual associator or associative law
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 associahedron is closely related to a structure known as the Tamari lattice, which is especially well-studied in combinatorics. The Tamari lattice can be defined as the poset of all bracketings of variables, ordered by rebracketing. (Note the off-by-one offset from the convention for associahedra: the Tamari lattice corresponds to the associahedron .) It was originally introduced by Dov Tamari in his thesis “Monoïdes préordonnés et chaînes de Malcev” (Université de Paris, 1951), around a decade before Jim Stasheff’s work. Stasheff comments on this in an essay titled “How I ‘met’ Dov Tamari” (Tamari Memorial Festschrift 2012), writing that the “so-called Stasheff polytope … more accurately should be called the Tamari or Tamari-Stasheff polytope”.
As the name suggests, the Tamari lattice also carries the structure of a lattice. This property was originally established by Haya Friedman and Tamari (1967), and later simplified by Samuel Huang and Tamari (1972).
The original articles that define associahedra and in which the operad that gives -topological spaces is implicit are
A textbook discussion (slightly modified) is in section 1.6 of the book
Loday’s original article on the Stasheff polytope is
Further explanations and references are collected at
The connection to Tamari lattices as well as other developments are in