ScalingStacks

Proof. It follows from the definition that $(-)\widehat{\otimes}{\mathcal{B}}$ preserves equivalences, filtered colimits, and the point. The characterization of [53, 6.3.1.16] implies that it preserves exact sequences. ∎