[001N] Exercise 6.1.3·c.

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.