Mathlib
Atlas
Algebraic topology
Pathway XXX
■
Condensed mathematics
Sets that remember topology by what they do on profinite probes. Clausen–Scholze.
01
Condensed sets
A condensed set is a sheaf on profinite sets: a space, reconstructed from its finite shadows.
4 min
02
Profinite sets
A profinite set is an inverse limit of finite sets. Totally disconnected compact Hausdorff.
4 min
Begin this pathway