Suppose X is a loop space; by this we mean there is some space $Y$ with $\Omega Y \simeq X$.
Under what assumptions is (the homotopy type of) $Y$ unique?
As has been pointed out below, the homotopy type of $Y$ being determined in generaluniquely is far from true in general. But for connected $Y$, are thethere conditions where this iswe can impose that make it so?