Condensed mathematics through compactological spaces
In their 2022 lecture notes on condensed sets, Clausen and Scholze mentioned in a remark that the important subclass of quasiseparated condensed sets is equivalent to the category of so-called compactological spaces defined by Waelbroeck in the 1960s. In this paper we study the latter category in detail, give a rigorous proof of Clausen and Scholze's claim, and establish that condensed sets are a formal categorical completion of Waelbroeck's compactological spaces. The latter answers a question asked by Hanson in 2023 and permits the interpretation of compactological sets as an `elementary' approach to condensed mathematics.
math.FA↗