ScalingStacks

Example 3.1.3.

By Simpson’s characterisation of presentable \(\infty\)-categories as localizations of presheaf categories, [Lur09, Thm. 5.5.1.1], we obtain presentability of \(\mathcal P(\mathcal C)\) for any small \(\infty\)-category \(\mathcal C\) [Lur09, Ex. 5.4.2.7, Ex. 5.5.1.8.], and more generally the presentability of \(\mathrm{Fun}(\mathcal C, \mathcal D)\) for a small \(\infty\)-category \(\mathcal C\) and a presentable \(\infty\)-category \(\mathcal D\).