Following remark 4.1.9, an additive presentable \(\mathbb{K}\)-linear \(\infty\)-category is precisely a presentably \(\mathrm{Mod}_{\mathbb{K}}^{\geq 0}\)-enriched \(\infty\)-category in the sense of remark 4.1.9, i.e. a \(\mathrm{Mod}_{\mathbb{K}}^{\geq 0}\)-enriched \(\infty\)-category fulfilling certain presentability properties. Similarly, a stable presentable \(\mathbb{K}\)-linear \(\infty\)-category is precisely a presentably \(\mathrm{Mod}_{\mathbb{K}}\)-enriched \(\infty\)-category, i.e. a \(\mathrm{Mod}_{\mathbb{K}}\)-enriched \(\infty\)-category fulfilling certain presentability properties.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2