Countably presented locales

Reinhold Heckmann showed the following in a very nice paper of 2014: every countably presented locale is spatial. What makes it even nicer is that he shows how tightly this is connected with the Baire property. This also gives a localic description of Matthew de Brecht’s quasi-Polish spaces, and of Ruiyuan Chen’s more recent countably correlated spaces. Read the full post.