ind object as filtered colimit
Proposition
Let \(\kappa\) be a regular cardinal, \(\mathcal{C}\) a small infinity category, \(\mathcal{P}(\mathcal{C})\) the infinity presheaf category and \(\mathcal{F} \in \mathcal{P}(\mathcal{C})\) a infinity presheaf.
TFAE:
- \(\mathcal{F}\) is an infinity ind object
- \(\mathcal{F}\) is a filtered colimit of representables
Proof
follows from my chosen definition
- I might change the definition in the future :/