0NLB Corollary 4.25. The ∞\infty-categories Cat∞ex\Cat_{\infty}^{\ex} and Cat∞perf\Cat_{\infty}^{\perf} are compactly generated, complete, and cocomplete.