Prove that the total category (Section 3.1 [000A]) of $\overline{B}$ is the arrow category $B^{\to}$, and the projection is the domain functor.
Prove that the total category (Section 3.1 [000A]) of $\overline{B}$ is the arrow category $B^{\to}$, and the projection is the domain functor.