kappa filtered infinity colimit
Definition
Let \(\mathcal{C}, \mathcal{I}\) be infinity categories and \(\kappa\) a regular cardinal,
Then a \(\kappa\) filtered infinity category is a infinity colimit
If \(\kappa\) is not specified, this usually means \(\kappa = \omega_0\)