The stable presentable \(\infty\)-category \(\mathcal D(\mathcal A)\) is equivalent to its stabilization \[\mathcal P^{\Sigma}(\mathcal A^{\mathrm{c}1\mathrm{p}}) \otimes \mathrm{Sp}\simeq \operatorname{Ind}{\mathbf K}^b(\mathcal A^{\mathrm{c}1\mathrm{p}}).\]
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2