Una homotopía de cobertura para una homotopía para un mapeo dado es una homotopía tal que . En este caso, si el mapeo de cobertura para el mapeo se especificó de antemano, entonces continúa .
Definiciones relacionadas
Si para un mapeo dado y cualquier homotopía con paracompacto y cualquiera tal que haya una extensión a una homotopía de cobertura , entonces se llama fibración de Gurevich .
Si esta definición requiere solo que sea un poliedro finito, entonces se llama fibración de Serre .
Propiedades
Un caso especial de la fibración de Gurevich es la fibración localmente trivial .