As in warning 3.3.2, the \(\infty\)-categories \(\mathrm{add}\) and \(\mathrm{st}\) are the \(\infty\)-categories of additive, resp. stable, idempotent complete \(\infty\)-categories. In particular, the tensor product of additive/stable idempotent complete \(\infty\)-categories we consider here is automatically idempotent complete.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2