Editing Stone space (section)

== Condensed mathematics ==
The category of Stone spaces with continuous maps is [[Equivalence of categories|equivalent]] to the [[pro-category]] of the [[category of finite sets]], which explains the term "profinite sets". The profinite sets are at the heart of the project of [[condensed mathematics]], which aims to replace topological spaces with "condensed sets", where a topological space ''X'' is replaced by the [[functor]] that takes a profinite set ''S'' to the set of continuous maps from ''S'' to ''X''.<ref>{{Cite web|last=Scholze|first=Peter|date=2020-12-05|title=Liquid tensor experiment|url=https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/|website=Xena|language=en}}</ref>