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

Date: nil

Author: Anton Zakrewski

Created: 2024-12-10 Di 11:11