[001V] Exercise 3.2·b.

Explicitly construct the functorial action of $\TotCat{P\Sub{\bullet}}\to E$.