Because \(\mathrm{Set}\rightarrow\mathcal S\) preserves filtered colimits, an object in an ordinary \(1\)-category \(\mathcal C\) is compact in the sense of definition 3.6.1 if and only if it is compact in the sense of § 3.2 when \(\mathcal C\) is considered as an \(\infty\)-category.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2