Is an A-infinity thing the same the same as strict thing viewed through a homotopy equivalence? If I have a topological monoid ($X,\mu$), a space $Y$ and a homotopy equivalence $f,g$ between them, then $Y$ has the structure of an $A_\infty$ space defined 'pointwise' by
$$ y_1 * y_2 := g \left(\mu(f(y_1),f(y_2))\right) $$
Also, I have heard someone say the reverse as "Every $A_\infty$-space is (weakly?) homotopy equivalent to a topological monoid."
My question is this: In how far is this the general case? Can I define/think of $A_\infty$ structures as strict structures as viewed through the distorting glasses of a homotopy equivalence? When is an $A_\infty$ structure of this type - i.e. is there always an equivalent strict version? (I guess no in general. Can you tell me more?) 
FYI: I started out with the question: Is the based loop space of a space $X$ always on the other side of a homotopy equivalence of a (strict) topological group?
thanks,
a.
 A: This is a tangential comment.  In the monoidal category whose objects are topological monoids, an $A_\infty$ monoid is the same as a space with a little $2$-cubes action whereas a strict monoid is a commutative monoid.
A: Some ancient history: The first proof that the loop space of any reasonable space is equivalent to a topological group is due to John Milnor, in his 1956 Annals of Math. paper  ``Construction of universal bundles, I'' (I'm sure its hypotheses are removable nowadays.)
Some slightly less ancient history is Theorem 13.5 in my 1972 Springer Volume ``The Geometry of Iterated Loop spaces'', http://www.math.uchicago.edu/~may/BOOKS/geom_iter.pdf on my web page. An $A_{\infty}$-space is a $\mathcal{C}$-space $X$ for any $A_{\infty}$ operad $\mathcal{C}$. In the notation there, I construct a topological monoid $B(M,C,X)$, a $\mathcal{C}$-space $B(C,C,X)$ and a pair of $\mathcal{C}$-maps $B(C,C,X) \longrightarrow X$ and $B(C,C,Z)\longrightarrow B(M,C,X)$.  The first is always a homotopy
equivalence and the second is always a weak homotopy equivalence, although I only proved that there when $X$ is connected.  This is the standard construction that Tyler described in more detail. (I don't think I was yet on Overflow when the question was first asked.)
A: Given a map of operads $A\to B$, there is a restriction functor that turns a $B$-algebra into an $A$-algebra. This should have a left adjoint, which should be thought of as a tensor-with-$B$ or induction functor that produces a $B$-algebra from an $A$-algebra by gluing on $B$ along $A$. If these are operads without symmetry and for each $n$, $A(n)\to B(n)$ is an equivalence, then the induction functor should not change the underlying homotopy type (if applied to cofibrant objects, or something). This should cover both that every $A_\infty$-space is equivalent to an associative monoid and that every $A_\infty$-algebra is equivalent to DGA. The latter is written down in many places and usually the construction given generalizes to the induction functor I claim.
The induction functor from $E_\infty$-spaces to commutative monoids in spaces does not preserve homotopy type. That is because of the symmetric group action on operads. The induction functor involves the quotient by the symmetric group. For the induction functor not to change the underlying homotopy type one should ask for something like $A(n)\to B(n)$ is an equivalence not just of underlying objects, but objects-with-group action, which means an equivalence of fixed points for all important subgroups of the symmetric group. I'm not sure which subgroups are important for operads; perhaps symmetric groups or maybe products of them.
A: 
When is an A_∞ structure of this type - i.e. is there always an equivalent strict version?

Risking unsolicited self-advertising, I would like to point out
Proposition 10.1.1 (and the more general Theorem 9.3.6) in arXiv:1410.5675,
which identifies the abstract conditions that guarantee that A∞-monoids can be rectified to strict monoids
using the language of Quillen model categories.
The most important condition is that the monoidal model category is flat
with respect to the morphism A∞→Assoc
(or rather its individual components),
meaning that tensoring a cofibrant object with one of the components gives a weak equivalence.
This condition is in fact also necessary, so one can also use it
to prove that rectification is impossible.
For example, in the symmetric case the analogous condition
obviously fails for the morphism E∞→Comm in simplicial sets,
which proves that E∞-monoids in simplicial sets
cannot be rectified to strictly commutative monoids,
a result already established by Moore in 1958.
A related i-monoidality condition guarantees the existence
of model structures, and both of these conditions
are satisfied for a wide range of examples (simplicial sets,
topological spaces, chain complexes, simplicial presheaves)
and can be moved easily along left Bousfield localizations
and transfers (unlike the monoid axiom,
which is implied by these two conditions under mild additional
assumptions), which significantly expands the range
of model categories for which rectification holds,
for example, allowing us to prove it for motivic spaces
and motivic spectra, as well as other types of symmetric spectra.
The latter is in fact the main novelty of the paper for the nonsymmetric
case (which is much easier than the symmetric case (e.g., E∞), also treated in the paper); rectification of nonsymmetric operads under the assumption
of the monoid axiom and a slightly stronger version of flatness was previously established by Muro,
but the monoid axiom is much more difficult to carry through left Bousfield
localizations and transfers than the combination of flatness and i-monoidality.
A: The answer to your question about the loop space is a conditional "yes."  The conditions are:
i) X should have the homotopy type of a CW complex, and
ii) When we say topological group, we mean with respect to products taken in compactly generated spaces.
With respect to these assumptions, the quickest method to producing the topological group would be:
Step 1) Take the simplicial total singular complex of $X$. This will be a based simplicial set $SX$.
Step 2) Take the Kan loop group of $SX$. This is a simplicial group; denote it by $G(SX)$.
Step 3) Take geometric realization $|G(SX)|$ of $G(SX)$. This will be a topological group object in the category of compactly generated spaces. There is a natural chain of weak homotopy equivalences from the classifying space $BG(SX)$ to $X$. Consequently, $|G(SX)|$ models the loop space of $X$. 
A: This is basically just an elaboration - in particular, it just gives a canonical procedure for what Ben Wieland describes using a two-sided bar construction, and it's standard in the field.
Let $A$ be an $A_\infty$-operad (a non-Σ operad) acting on a space $X$.
First, take singular complexes: $Sing(A)$ then becomes an operad in simplicial sets acting on $Sing(X)$.  Taking geometric realization, we get a map of operads $B = |Sing(A)| \to A$, making $X$ a $B$-algebra, and a map $Y = |Sing(X)| \to X$ which is a weak equivalence and a map of $B$-algebras.  So without loss of generality we may assume that both our operad and our space are CW; if $X$ was a CW-complex in the first place then $Y$ is actually homotopy eqivalent to $X$.
There is a natural map from the operad $B \to Assoc$ to the associative operad.  Each of these operads has an associated monad, taking spaces to the free algebras on that space.  I'll abuse notation and use the same letter for the associated monad, so
$$
B(Z) = \coprod_{n \geq 0} B(n) \times Z^n.
$$
For any CW-complex $Z$, the natural map $B(Z) \to Assoc(Z)$ is a homotopy equivalence.
We then hit this with a two-sided bar construction.  We have a simplicial space
$$
Bar(B,B,Y) = \{B(Y) \leftleftarrows B(B(Y)) \cdots \}
$$
whose structure maps come from the monad's structure maps, and a natural augmentation $|Bar(B,B,Y)| \to Y$ which is a homotopy equivalence of $B$-algebras for formal reasons (the simplicial space has an "extra degeneracy").
We have another simplicial space
$$
Bar(Assoc,B,Y) = \{Assoc(Y) \leftleftarrows Assoc(B(Y)) \cdots\}
$$
and a natural map of simplicial spaces $Bar(B,B,Y) \to Bar(Assoc,B,Y)$ which is a levelwise homotopy equivalence.  Taking geometric realization, we get a map $|Bar(B,B,Y)| \to |Bar(Assoc,B,Y)|$ which is a homotopy equivalence and a map of $B$-algebras, where the latter is actually an algebra over the associative operad.
Net result, we get a diagram of algebras over the $A_\infty$-operad $B$ as follows:
$$
|Bar(Assoc,B,Y)| \leftarrow |Bar(B,B,Y)| \to Y \to X
$$
Here the left two arrows are homotopy equivalences, the rightmost arrow is a weak equivalence, and the leftmost object is actually strictly associative rather than just an $A_\infty$-algebra.
