ScalingStacks

Proof.

Immediate from lemma 3.2.9 and the fact that \(\mathrm{Mod}_{\mathbb{K}}\) and \(\mathrm{Mod}^{\geq 0}_{\mathbb{K}}\) are compact and compact projectively generated by \(\mathbb{K}_{\mathbb{K}}\) respectively. ◻