ScalingStacks

Definition 6.2. Let ${\rm Cat}_{\infty}^{\rm ex}$ denote the $(\infty,2)$-category of stable, presentable $k$-linear $\infty$-categories, with 1-morphisms consisting of continuous exact functors.