Skip to main content
1 of 2
David White
  • 30.3k
  • 9
  • 154
  • 250

This follows from Corollary XIII.5 of Williamson's thesis Cylindrical model structures, where he proves that a morphism is a trivial cofibration if and only if it admits a strong deformation retraction. Since you already know $\gamma_X^0$ is a trivial cofibration, you're done.

You might also be interested in Section XII of Williamson's paper might also be of interest, as it provides conditions on the cylinder object in order that various associated maps are strong deformation retractions.

David White
  • 30.3k
  • 9
  • 154
  • 250