A model structure is left proper if the pushout of a weak equivalence along a cofibration is a weak equivalence. In the Hurewicz (or Strom) model structure on the category of topological spaces, weak equivalences are homotopy equivalences and cofibrations are defined in terms of a lifting property for Hurewicz fibrations. Is this model structure left proper?

  • 7
    $\begingroup$ Isn't it true that having all objects cofibrant implies left properness? $\endgroup$ May 5, 2019 at 2:52

1 Answer 1


The answer is yes. I say this because I recall that the way you form homotopy pushout of a `prepushout' diagram $C\gets A\to B$ in the Hurewicz structure is

  1. map a diagram $\bar C \gets \bar A \to \bar B$ in which both arrows are (Hurewicz) cofibrations into the given one by a pointwise homotopy equivalence
  2. form the categorical pushout of the replacement diagram.

If $C\gets A$ is a homotopy equivalence, we can take the replacement to be $\bar A \xleftarrow{id} \bar A \to \bar B$.

Then the answer to the question is a result of the fact that the homotopy pushout in the Hurewicz structure is well-defined up to homotopy equivalence.


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .