Is it true that homotopy pullback and homotopy pushout coincide in the category of spectrum? I
had a feeling that this is the case, but don't know where to find a proof or how to prove it.
Thanks!

Yes. This is a consequence of the Blakers-Massey theorem.
– Dylan WilsonMay 30 '13 at 16:19

12

if you accept the fact that the category of spectra is stable, then it follows from the axioms of being stable (how tautological was this comment?)
– Jacob BellMay 30 '13 at 16:21

7

Dylan, in some sense it's more elementary than Blakers-Massey. To get the idea, here's why $X\to \Omega\Sigma X$ is a weak equivalence when $X$ is a spectrum: $X$ consists of spaces $X_n$; the map is given by Freudenthal maps $X_n\to \Omega\Sigma X_n$; an inverse on spectrum homotopy groups is given by the obvious maps $\Omega\Sigma X_n\to \Omega X_{n+1}$.
– Tom GoodwillieMay 30 '13 at 20:32