infinity ind object

Definition

Let \(\kappa\) be a regular cardinal, \(\mathcal{C}\) be a small infinity category, \(\mathcal{P}(\mathcal{C})\) the infinity presheaf category and \(\mathcal{F} \in \mathcal{P}(\mathcal{C})\) a infinity presheaf.
Then \(\mathcal{F}\) is said to be a \(\kappa\)-ind object, if it is a kappa filtered infinity colimit of representables

Date: nil

Author: Anton Zakrewski

Created: 2024-12-10 Di 11:10