[001W] Exercise 3.2·c.

Verify that $\TotCat{P\Sub{\bullet}}\to E$ is a categorical equivalence.