Since sifted colimits are generated by filtered colimits and geometric realizations [Lur09, Cor. 5.5.8.17], an object is compact-projective if and only if it is compact and projective.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2