kappa filtered for a singular cardinal
Proposition
Let \(\lambda\) be a singular cardinal, \(\mathcal{C}\) an infinity category.
Assume the Axiom of choice
TFAE:
- \(\mathcal{C}\) is \(\lambda\)-filtered
- \(\mathcal{C}\) is \(\mathrm{succ}(\lambda)\)-filtered