All additive and stable \(\infty\)-categories will be implicitly assumed to be idempotent complete. In particular, we have defined \(\mathrm{add}\) and \(\mathrm{st}\) as full subcategories of \(\mathrm{Cat}_{\infty}^{\sqcup, \mathrm{idem}}\) and \(\mathrm{Cat}_{\infty}^{\mathrm{rex}, \mathrm{idem}}\).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2