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:

  1. \(\mathcal{F} \in \mathrm{Ind}_{\kappa}\)
  2. 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

Date: nil

Author: Anton Zakrewski

Created: 2024-12-10 Di 11:21