Locales, sublocales, nuclei Here is the list of posts on locales, sublocales, and nuclei, so far: Locales, sublocales I Locales, sublocales II: sieves Locales, sublocales III: the frame of nuclei The O functor does not preserve binary products Isbell’s density theorem and intersections of sublocales The locale of random elements of a space Countably presented locales — Jean Goubault-Larrecq