The fiber of a Serre fibration If $p:E\to B$ is a Serre fibration (assume it is surjective), then for each 
$b\in B$  we get a comparison map $p^{-1}(b) \to F_b$, where $F_b$ is the homotopy
fiber of $p$ over $b$.  
It is easy to see that these maps induce isomorphisms on $\pi_n$ for $n\geq 1$, but I
wonder about $\pi_0$.  
Question:  Is it true that $p^{-1}(b) \to F_b$ is a weak homotopy 
equivalence?
 A: Dear Jeff,
The map you describe is a homotopy equivalence. This is proved as Proposition 1.1 in the paper
Varadarajan, K. On fibrations and category.  Math. Z.  88  1965 267–273.
A: Yes, directly from the definition of fibration. And I see no advantage in assuming that the map is surjective. The fiber is empty if and if the homotopy fiber is empty.
I am guessing that your proof for $\pi_n$ with $n$ positive is a five lemma argument?
EDIT Now that I think about it, maybe my preferred proof goes by extending the 5 lemma argument a little. Like this: The homotopy fiber of $E\to B$ over $b\in B$ is the fiber of an associated fibration, call it $E'\to B$. There is a map $E\to E'$ over $B$ inducing a map of fibers $F\to F'$. You know that $E\to E'$ is a homotopy equivalence and so gives a bijection of $\pi_0$ and (for every basepoint in $E$) of $\pi_n$. To conclude that the associated map $F\to F'$ also induces such bijections, use a sort of modified 5 lemma argument. The key is that you have an action of $\pi_1(B,b)$ on $\pi_0(F)$ such that (a) for every point $f\in F$ the stabilizer of its class is the image of $\pi_1(E,f)$ and (b) two elements of $\pi_0(F)$ go to the same element of $\pi_0(E)$ if and only if they are in the same orbit.
A: It's a weak equivalence by the fact that it's a right proper model category (since all objects are fibrant), and therefore the fiber of a fibration is a homotopy pullback (and a hofiber).  In particular, the induced map between two representatives of a homotopy pullback is necessarily a weak equivalence.
