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