Condensed Sets and the Solovay Model

Nathaniel Bannister, Dianthe Basak

We exhibit a geometric morphism from the Grothendieck topos representing the Solovay model to the $\hat{I}º$-pyknotic sets of Barwick--Haine and Clausen--Scholze. We then use the propert…