Following Grothendieck, let us say that a category is **aspheric** if its nerve is weakly contractible and a functor $u : \mathcal{A} \to \mathcal{B}$ is **aspheric** if for every object $b$ in $\mathcal{B}$, the comma category $(u \downarrow b)$ is aspheric.

**Question.** Consider a pullback diagram in $\mathbf{Cat}$,
$$\require{AMScd}
\begin{CD}
\mathcal{E} @>{v}>> \mathcal{F} \\
@V{p}VV @VV{q}V \\
\mathcal{A} @>>{u}> \mathcal{B}
\end{CD}$$
where $q : \mathcal{F} \to \mathcal{B}$ (hence also $p : \mathcal{E} \to \mathcal{A}$) is a Grothendieck fibration and $u : \mathcal{A} \to \mathcal{B}$ is aspheric. Is $v : \mathcal{E} \to \mathcal{F}$ also aspheric?

Of course, an aspheric functor is the same thing as a homotopy coinitial functor, so Thomason's homotopy colimit theorem implies that $N (v) : N (\mathcal{E}) \to N (\mathcal{F})$ is a weak homotopy equivalence, which is a strictly weaker conclusion.

I believe I have a proof that the answer to my question is yes, so what I am really looking for is an answer *in the literature*. I would not be surprised if it appears in *Pursuing Stacks*, but perhaps someone more familiar with the document knows for sure?