ScalingStacks

Proof. Write ${\mathcal{B}}\simeq\colim_{\alpha}{\mathcal{B}}_{\alpha}$ as a $\kappa$-filtered colimit of $\kappa$-compact stable $\infty$-categories ${\mathcal{B}}_{\alpha}$, and define ${\mathcal{A}}_{\alpha}={\mathcal{A}}\times_{\mathcal{B}}{\mathcal{B}}_{\alpha}$ to be the full subcategory of ${\mathcal{A}}$ consisting of those objects of ${\mathcal{A}}$ which lie in the image of ${\mathcal{B}}_{\alpha}$. Evidently, ${\mathcal{A}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{B}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{B}}/{\mathcal{A}}$ is the $\kappa$-filtered colimit of the exact sequences ${\mathcal{A}}_{\alpha}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{B}}_{\alpha}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{B}}_{\alpha}/{\mathcal{A}}_{\alpha}$, and ${\mathcal{A}}_{\alpha}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{B}}_{\alpha}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{B}}_{\alpha}/{\mathcal{A}}_{\alpha}$ is strict-exact because if $Y\in{\mathcal{B}}_{\alpha}$ is a summand of $X\in{\mathcal{A}}_{\alpha}$ then $Y\in{\mathcal{A}}_{\alpha}$ because the image of $Y$ in ${\mathcal{B}}$ lies in ${\mathcal{A}}$. ∎