MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 fixed inconsistent usage of x and pi(x)

Since I got no responses to this question at Stack Exchange, please let me try my luck here.

Call a continuous map $\pi:E\to B$ between CW complexes a homotopy fiber bundle if for any $x$ in the image of $\pi$, there is an open neighbourhood $U\subset B$ of $\pi(x)$ x$ and homotopy equivalence $\pi^{-1}(U)→U\times F$ over $U$.

I don't know if this has a different name in the literature or even if it is reasonable. Replacing ''homotopy equivalence'' by ''homeomorphism'' should be the definition of an ordinary fiber bundle.

How relates a ''homotopy fiber bundle'' to the notion of a Serre fibration?

At least both properties imply that the fibers over connected components are all weakly homotopy equivalent.
show/hide this revision's text 1

What is the relation between a ''homotopy fiber bundle'' and a Serre fibration?

Since I got no responses to this question at Stack Exchange, please let me try my luck here.

Call a continuous map $\pi:E\to B$ between CW complexes a homotopy fiber bundle if for any $x$ in the image of $\pi$, there is an open neighbourhood $U\subset B$ of $\pi(x)$ and homotopy equivalence $\pi^{-1}(U)→U\times F$ over $U$.

I don't know if this has a different name in the literature or even if it is reasonable. Replacing ''homotopy equivalence'' by ''homeomorphism'' should be the definition of an ordinary fiber bundle.

How relates a ''homotopy fiber bundle'' to the notion of a Serre fibration?

At least both properties imply that the fibers over connected components are all weakly homotopy equivalent.