ScalingStacks

Proof. This follows from the fact that the space of colimits for a given diagram in an $\infty$-category is contractible [52, 1.2.12.9, 1.2.13.5]. Alternatively, a constructive proof along the lines of [12, 2.9] (using a mapping cylinder argument) can be given using the comparison discussed in section 7.2 below. ∎