Abusing notation, we will henceforth write \({\mathbf K}^b(-) \coloneqq (-)^{\mathrm{fin}}\colon \mathrm{add}\rightarrow\mathrm{st}\) for the left adjoint to the forgetful functor \(\mathrm{st}\rightarrow\mathrm{add}\), even when applied to additive \(\infty\)-categories.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2