Fibration

A fibration (or Hurewicz fibration) is a continuous mapping p : E → B satisfying the homotopy lifting property with respect to any space. Fiber bundles (over paracompact bases) constitute important examples. In homotopy theory any mapping is 'as good as' a fibration — i.e. any map can be decomposed as a homotopy equivalence into a "mapping path space" followed by a fibration. (See homotopy fiber.)