Logic Seminar

We exhibit a geometric morphism from the Grothendieck topos representing the Solovay model to the κ-pyknotic sets of Barwick--Haine and Clausen--Scholze. We then use the properties of this morphism and automatic continuity in the Solovay model to outline a proof of Clausen--Scholze's resolution of the Whitehead problem for discrete condensed abelian groups. Based on joint work with Dianthe Basak.