ScalingStacks

Definition 5.4. Let $f:{\mathcal{A}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{B}}$ be a fully faithful functor of presentable stable $\infty$-categories (this means that $f$ preserves colimits). The Verdier quotient ${\mathcal{B}}/{\mathcal{A}}$ of ${\mathcal{B}}$ by ${\mathcal{A}}$ is the cofiber of $f$ in the $\infty$-category ${{\mathcal{P}\mathrm{r}}^{\mathrm{L}}_{\mathrm{St}}}$ of presentable stable $\infty$-categories.