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:

  1. \(\mathcal{F}\) is an infinity ind object
  2. \(\mathcal{F}\) is a filtered colimit of representables

Proof

follows from my chosen definition

  • I might change the definition in the future :/

Date: nil

Author: Anton Zakrewski

Created: 2024-12-10 Di 11:10