ScalingStacks

Remark 4.5. Given small stable idempotent complete $\infty$-categories $\mathcal{C}_{1},\mathcal{C}_{2}$, by construction their tensor product $\mathcal{C}_{1}\otimes\mathcal{C}_{2}$ is again a small stable idempotent complete $\infty$-category. Though it is possible to consider other versions of a tensor product on small stable $\infty$-categories that need not preserve idempotent complete $\infty$-categories, our approach builds it in from the beginning.