Condensed Sets via free resolutions
arXiv:2209.01660
Abstract
We show the equivalence of several constructions of the category of condensed sets by using free resolutions of compact Hausdorff spaces. We also give an elementary construction of the condensed set associated to any presheaf on compact Hausdorff spaces.
Comments are welcome