kappa accessible infinity category
Definition
Let \(\mathcal{C}\) be an locally small infinity category and \(\kappa\) a regular cardinal.
Then \(\mathcal{C}\) is said to be accessible if
- \(\mathcal{C}\) admits \(\kappa\)-filtered colimits.
and there exists an essentially small infinity full subcategory \(\mathcal{C}_0\) such that
- each object of \(\mathcal{C}_0\) is kappa compact
- each object of \(\mathcal{C}\) is a kappa filtered colimit of objects in \(\mathcal{C}_0\)
Note:
\(\mathcal{C}\) is said to be accessible, if it is \(\kappa\) accessible for some regular cardinal \(\kappa\)