Definition 2.3.12. Let \(p\colon E \to B\) be a continuous map of topological spaces. We say that \(p\) is a Serre fibration if it satisfies the homotopy lifting property with respect to all disks: for every \(n \geq 0\) and every solid commutative diagram of the form
there exists a dashed morphism making the diagram commute.
Generated from the authoritative LaTeX source.