Recall that a model category is a complete and cocomplete category with classes of morphisms called cofibrations, fibrations, and weak equivalences. These are closed under composition and satisfy certain axioms, such as lifting properties. Furthermore, according to Mark Hovey (but this apparently varies in the literature), any morphism must admit a functorial factorization into the composite of a cofibration and a trivial fibration (i.e. a fibration which is a weak equivalence), as well as a composite of a trivial cofibration and a fibration.
The standard examples of model categories are simplicial sets and chain complexes. Yet the words "fibration" and "cofibration" suggest not category theory but the topological homotopy lifting property. A morphism of topological spaces $f: X \to Y$ is called a (Hurewicz) fibration if whenever $p: T \times [0,1] \to Y$ is a map and $\widetilde{p}: T \to X$ is a map lifting $p|_{T \times \{0\}}$, $\widetilde{p}$ can be extended to a lifting of $p$. Cofibrations can be defined by an analogous homotopy extension property, and for Hausdorff spaces this is equivalent to being a deformation retract of a suitable neighborhood (defined as $\{x: u(x)<1\}$ where $u$ is a suitable continuous function).
So, although this is not explicitly stated anywhere I see, I take it that topological spaces with the usual notions of fibrations and cofibrations (with weak equivalences the homotopy equivalences) do indeed form a model category.
Question: Am I right in assuming this?
The axioms are slightly tricky to check in general. Topological spaces admit limits and colimits. I believe that the lifting properties of cofibrations with respect to trivial fibrations (or trivial cofibrations with respect to fibrations) follows directly from the definition of a cofibration (namely, if you can extend something up to homotopy, you can do it exactly for a cofibration).
I'm getting slightly confused on the functorial factorizations. Let $f: X \to Y$ be a morphism. We need a canonical way of factoring this (actually, two canonical ways). One way is to use the inclusion of $X$ in the mapping cylinder $M_f$ (which is a cofibration because $(M_f, X)$ is checked to be an NDR-pair).
Moreover, $M_f \to Y$ is a homotopy equivalence.
I don't see why this is a fibration though (it's true that the fibers have the same homotopy type at least).
Correction: As Aaron observes in the comments, there are easy counterexamples for when the map from the mapping cylinder is not a fibration. This means that another approach is needed to construct the functorial factorization of a map into a cofibration and a trivial fibration?
Could someone clarify?
