infinity category Ind kappa
Definition
Let \(\mathcal{C}\) be an infinity category and \(\kappa\) a regular cardinal and \(\mathcal{P}(\mathcal{C})\) is the infinity presheaf category.
Then \(\mathrm{Ind}_{\kappa}(\mathcal{C}) \hookrightarrow \mathcal{P}(\mathcal{C})\) is defined as full infinity subcategory containing infinity ind objects