kappa filtered infinity category

Definition

Let \(\kappa\) be a regular cardinal and \(\mathcal{C}\) an infinity category.
Then \(\mathcal{C}\) is said to be \(\kappa\)-filtered if any infinity functor

\begin{align*} I \rightarrow \mathcal{C} \end{align*}

where \(I\) is a kappa-small simplicial set admits a cone

\begin{align*} J \star \Delta^0 \rightarrow I \end{align*}

Date: nil

Author: Anton Zakrewski

Created: 2024-12-09 Mo 07:45