Llamar a un mapa continuo π:E→B entre CW complejos una homotopy haz de fibras si por cualquier x en la imagen de π, hay una vecindad U⊂B π(x) y homotopy equivalencia π−1(U)→U×FU.
No sé si esto tiene un nombre diferente en la literatura o incluso si es razonable. La sustitución de "homotopy equivalencia" por "homeomorphism" debe ser la definición de un ordinario haz de fibras.
Cómo se relaciona un "homotopy haz de fibras" a la noción de un Serre fibration?
Al menos ambas propiedades implican que las fibras en los componentes conectados son todos débilmente homotopy equivalente.