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

  1. \(\mathcal{C}\) admits \(\kappa\)-filtered colimits.

and there exists an essentially small infinity full subcategory \(\mathcal{C}_0\) such that

  1. each object of \(\mathcal{C}_0\) is kappa compact
  2. 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\)

Date: nil

Author: Anton Zakrewski

Created: 2024-12-10 Di 10:58