There are lots of similar questions that have been answered on this topic (particularly Homotopy limit-colimit diagrams in stable model categories), but I have a specific question that I do not believe has been answered. I suspect there is a simple answer that I'm just not seeing, so apologize in advance if this is the case. Given a commutative square
$\require{AMScd}$
\begin{CD}
A @>{}>> X\\
@V{f}VV @V{g}VV \\
B @>{}>> Y
\end{CD}
we say it is a **homotopy pullback square** if the canonical map $A \to holim(B \to Y \leftarrow X)$ is a weak equivalence and that it is a **homotopy pushout square** if the canonical map $hocolim(B \leftarrow A \rightarrow X) \to Y$ is a weak equivalence.

I'm hoping to understand the proof that in a stable category, the two notions coincide. As pointed out in the reference above, in the 2007 version of Hovey's ``Model Categories,'' an argument is given in Remark 7.1.12 that goes roughly as follows. One can show that the square above is a homotopy pullback square if and only if
$$
hofib(f) \overset{\sim}{\to} hofib(g)
$$
is a weak equivalence. Similarly, it is a homotopy pushout square if and only if
$$
hocofib(f) \overset{\sim}{\to} hocofib(g)
$$
is a weak equivalence. One then concludes the result by claiming that
$$
\Sigma hofib(f) \simeq hocofib(f) \text{ and } \Sigma hofib(g) \simeq hocofib(g)
$$
This is the part on which I am stuck. Hovey claims that it follows from Thereom 7.1.11 (which is the same in both the 1999 and 2007 version) but I do not see this. It seems to me (and here is where I must be going wrong) that Hovey is claiming that the fiber in the homotopy category is the homotopy fiber -- because from what I understand, it is the homotopy category which is triangulated (to which 7.1.11 would apply), not the original stable model category. Since the fiber in the homotopy category is *not* (usually) the homotopy fiber, I must be misinterpreting what Hovey is saying.

So my question is: how do we know that the suspension of the homotopy fiber is weakly equivalent to the homotopy cofiber (or, equivalently, that loops of the homotopy cofiber is weakly equivalent to the homotopy fiber). Am I misunderstanding what Hovey means by "fiber sequence?" Are the distinguished triangles actually *homotopy* cofiber sequences in the original model category? As is probably clear by now, I do not know much about triangulated categories. Any help/reference would be appreciated!

7more comments