ind object and preserving small limits
Proposition
Let \(\kappa\) be a regular cardinal, \(\mathcal{C}\) a cocomplete small category, \(\mathrm{Ind}_{\kappa}(\mathcal{C})\) the category Ind kappa and \(\mathcal{F} \in \mathcal{P}(\mathcal{C})\) a presheaf.
TFAE:
- \(\mathcal{F} \in \mathrm{Ind}_{\kappa}(\mathcal{C})\) is an ind object
- \(\mathcal{F}\) as functor preserves kappa-small limits
Proof
FW: 6.61b)