  A condensed set is a sheaf on the site of Stone spaces and continuous maps.
We prove that condensed sets are equivalent to sheaves on the site of compact
Hausdorff spaces and continuous maps. As an application, we show that there
exists a model structure on the category of condensed sets.
