Let \(\mathrm{Pr}^{\mathrm{L},\mathrm{c}}\) (resp. \(\mathrm{Pr}^{\mathrm{L},\mathrm{cp}}\)) denote the subcategory of \(\mathrm{Pr}^\mathrm{L}\) on the compactly (resp. projectively) generated presentable \(\infty\)-categories and the cocontinuous functors which preserve compact (resp. compact-projective) objects.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2