The \(\infty\)-categories \(\mathrm{Pr}^{\mathrm{L},\mathrm{c}}\) and \(\mathrm{Pr}^{\mathrm{L},\mathrm{cp}}\) are presentable and the inclusion functor \(\mathrm{Pr}^{\mathrm{L},\mathrm{cp}}\rightarrow\mathrm{Pr}^{\mathrm{L},\mathrm{c}}\) is cocontinuous, i.e. a morphism in \(\mathrm{Pr}^\mathrm{L}\).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2