Skip to main content
Texified
Source Link
David White
  • 30.3k
  • 9
  • 154
  • 250

Question 1: The model category C$\mathcal{C}$ should be left proper:, i.e. the pushout of a weak equivalence along a cofibration is again a weak equivalence. (Dually, there is a notion of right proper.) Top is left proper, as is any model category in which every object is cofibrant, such as SSet. There is some information on this notion of properness at the nlab, and I think it's also discussed more thoroughly in Hirschhorn's book Model Categories and their Localizations (and probably many other places).

Question 2: Yes. People often say that a square in a model category is a homotopy pushout square if the induced map from the (strict) pushout of a cofibrant replacement (meaning cofibrant objects and maps) of the "initial" three objects to the last object is a weak equivalence, and that is the case here.

Question 1: The model category C should be left proper: the pushout of a weak equivalence along a cofibration is again a weak equivalence. (Dually, there is a notion of right proper.) Top is left proper, as is any model category in which every object is cofibrant, such as SSet. There is some information on this notion of properness at the nlab, and I think it's also discussed more thoroughly in Hirschhorn's book Model Categories and their Localizations (and probably many other places).

Question 2: Yes. People often say that a square in a model category is a homotopy pushout square if the induced map from the (strict) pushout of a cofibrant replacement (meaning cofibrant objects and maps) of the "initial" three objects to the last object is a weak equivalence, and that is the case here.

Question 1: The model category $\mathcal{C}$ should be left proper, i.e. the pushout of a weak equivalence along a cofibration is again a weak equivalence. (Dually, there is a notion of right proper.) Top is left proper, as is any model category in which every object is cofibrant, such as SSet. There is some information on this notion of properness at the nlab, and I think it's also discussed more thoroughly in Hirschhorn's book Model Categories and their Localizations (and probably many other places).

Question 2: Yes. People often say that a square in a model category is a homotopy pushout square if the induced map from the (strict) pushout of a cofibrant replacement (meaning cofibrant objects and maps) of the "initial" three objects to the last object is a weak equivalence, and that is the case here.

Source Link
Reid Barton
  • 25.2k
  • 1
  • 76
  • 133

Question 1: The model category C should be left proper: the pushout of a weak equivalence along a cofibration is again a weak equivalence. (Dually, there is a notion of right proper.) Top is left proper, as is any model category in which every object is cofibrant, such as SSet. There is some information on this notion of properness at the nlab, and I think it's also discussed more thoroughly in Hirschhorn's book Model Categories and their Localizations (and probably many other places).

Question 2: Yes. People often say that a square in a model category is a homotopy pushout square if the induced map from the (strict) pushout of a cofibrant replacement (meaning cofibrant objects and maps) of the "initial" three objects to the last object is a weak equivalence, and that is the case here.