Definition 22.2.1. An \(\infty \)-category \(D\) is called presentable if there exist a small \(\infty \)-category \(C\) and a small collection \(S\) of morphisms in \(\PSh (C)\) such that the inclusion \[ \PSh (C)^{S\text {-}\mathrm {loc}}\hookrightarrow \PSh (C) \] admits a left adjoint and \(D\) is equivalent to \(\PSh (C)^{S\text {-}\mathrm {loc}}\).
Generated from the authoritative LaTeX source.