I want a reference for Stasheff operad, where operad maps are defined explicitly at the point-set level. I would also like to ask the question that what exactly do one mean by Stasheff operad? Is there a specific pointset model that one thinks or is the description in terms of trees good enough to call that a Stasheff operad? 


EDIT: If I choose my own model of Stasheff polytope and my own set of maps which obeys the operad laws and at the cellular level the maps remain the same. Can I say such an operad to be "Stasheff operad"? Or do people mean something more/less specific by the term "Stasheff operad"? Or is it the case that there is no literature where the operad structure is worked out explicitly and the term Stasheff operad is used but never defined explicitly, people just chose there favorite model when they had to work with it.



Reference for Stasheff Operad
Why not look at Stasheff's original paper? He does give a point-set model (where $K\_{n+2}$ is a compact convex semialgebraic subset of $\mathbb{R}^n$) and describes explicitly the substitution maps $\text{sub}\_i: K\_m \times K\_n \to K\_{m+n-1}$ which are collectively tantamount to the operad structure. 


* James Dillon Stasheff, Homotopy Associativity of H-Spaces I, Transactions of the American Mathematical Society Vol. 108, No. 2 (Aug., 1963), pp. 275-292.


There are other descriptions which realize the associahedra as linear polytopes (which I find more pleasant); the name of the late J.-L. Loday sticks prominently in my mind in this regard. See [here](http://www.claymath.org/library/academy/LectureNotes05/Lodaypaper.pdf) for instance. 


**Edit:** The universal property description of the associahedral operad (or Stasheff operad; I've used both terms), mentioned in my comment under the question, might not be well-known; it might be good to describe intuitively what is going on there. I should add that I have no idea where this observation might appear in the literature, but that I would also have a hard time believing that the observation is originally due to me. :-) See this [$n$-Category Café post](http://golem.ph.utexas.edu/category/2007/05/on_the_bar_construction.html) for some related background. 


The statement is that the Stasheff operad is initial among non-permutative non-unital operads $M$ such that each $M\_n$, for $n \geq 2$, carries a basepoint and an $I$-module map $I \times M\_n \to M\_n$ (for the multiplicative monoid $I = [0, 1]$) that contracts $M\_n$ to that basepoint. It should be noted that the correct definition of *non-unital* operad is one that uses operations $sub\_i: M\_m \times M\_n \to M\_{m+n-1}$ for $1 \leq i \leq m$, not a less expressive definition which merely involves a structure $M \circ M \to M$ where $\circ$ is the well-known substitution product on graded spaces (see Tom Leinster's book for details on such substitution products, monoids of which being unital operads). In the Stasheff model, we could take the barycenter of each associahedron as its basepoint $p$; the contracting homotopy is given by $x \mapsto t x + (1-t)p$, taking advantage of convexity for the Stasheff model. 


In the initial such structure, there is no operad identity, so $M\_1$ is empty, and so is $M\_0$. For $M\_2$, all we know is that it has a basepoint $m\_2$ (so $M\_2$ is the cone on an empty space). For $M\_3$, all we know is that there are points $l = sub\_1(m, m)$ (think $(xy)z$) and $r = sub\_2(m, m)$ (think $x(yz)$) plus a contracting homotopy to a basepoint $m\_3$, so $M\_3$ is a cone on the space $\{l, r\}$. This cone is of course an interval. Continuing up the inductive ladder, $M\_4$ is obtained by taking the cone of a space obtained by pasting together five spaces corresponding to images $sub\_1(M\_2 \times M\_3)$, $sub\_2(M\_2 \times M\_3)$, $sub\_1(M\_3 \times M\_2)$, $sub\_2(M\_3 \times M\_2)$, $sub\_3(M\_3 \times M\_2)$; the pasting is in accordance with generalized operadic associativity. The pasting gives the boundary of a pentagon; the cone itself is the famous Stasheff pentagon. And so on. 


