We follow [MS21, § A.3] and call a \(\mathbb V\)-enriched \(\infty\)-category \(\mathcal C\in \widehat{\mathrm{Cat}}[\mathbb V]\) presentably \(\mathbb V\)-enriched if its underlying \(\infty\)-category is presentable, admits tensors16, and if moreover for every \(v\in \mathbb V\), the induced functor \(v\otimes -\colon \mathcal C\rightarrow\mathcal C\) between the underlying \(\infty\)-categories preserves small colimits.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2