ScalingStacks

Let \(\mathbb{K}\in \mathrm{CAlg}(\mathrm{Sp}_{\geq 0})\). The rank one free module \(\mathbb{K}_{\mathbb{K}}\) generates \(\mathrm{CProj}_{\mathbb{K}}\) under retracts and finite direct sums; in particular, every object of \(\mathrm{CProj}_{\mathbb{K}}\) is a retract of a finite coproduct of modules isomorphic to \(\mathbb{K}_{\mathbb{K}}\).