kappa ind object and straightening
Proposition
Let \(\mathcal{C}\) be a small infinity category, \(\mathcal{P}(\mathcal{C})\) the infinity presheaf category, \(\kappa\) a regular cardinal and \(F \in \mathcal{P}(\mathcal{C})\) an infinity presheaf.
TFAE:
- \(\mathcal{F} \in \mathrm{Ind}_{\kappa}\)
- the unstraightening yields a right fibration \(\mathrm{Un}(\mathcal{F}): \mathcal{E} \rightarrow \mathcal{C}\) where \(\mathcal{E}\) is \(\kappa\)-kappa filtered infinity category
Proof
FW: 6.59 + 6.61