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:

  1. \(\mathcal{F} \in \mathrm{Ind}_{\kappa}(\mathcal{C})\) is an ind object
  2. \(\mathcal{F}\) as functor preserves kappa-small limits

Proof

FW: 6.61b)

Date: nil

Author: Anton Zakrewski

Created: 2024-12-10 Di 11:23