Atlas/Alg. top./Condensed mathematics
1/4
Finite sets, and maps between them. An inverse system: S₀ ← S₁ ← S₂ ← ⋯