kappa filtered for a singular cardinal

Proposition

Let \(\lambda\) be a singular cardinal, \(\mathcal{C}\) an infinity category.
Assume the Axiom of choice

TFAE:

  1. \(\mathcal{C}\) is \(\lambda\)-filtered
  2. \(\mathcal{C}\) is \(\mathrm{succ}(\lambda)\)-filtered

Proof

1) \(\implies\) 2)

2) \(\implies\) 1)

Date: nil

Author: Anton Zakrewski

Created: 2024-12-10 Di 10:34