ScalingStacks

Proof. The statement about compact generators essentially follows by construction. Then the $\infty$-categorical version of Schwede-Shipley’s Morita theorem [69], [53, §7.1.2], allows us to characterize these categories in terms of endomorphisms of the compact generator. ∎