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