ScalingStacks

Proof. The first statement is straightforward from the definitions. Since $E$ is equivalent to the terminal object in ${\operatorname{\mathcal{C}at}}$, and $N$ takes equivalences to weak equivalences by (3.7), the second statement follows. ∎