Locales, sublocales, nuclei

Here is the list of posts on locales, sublocales, and nuclei, so far:

  1. Locales, sublocales I
  2. Locales, sublocales II: sieves
  3. Locales, sublocales III: the frame of nuclei
  4. The O functor does not preserve binary products
  5. Isbell’s density theorem and intersections of sublocales
  6. The locale of random elements of a space
  7. Countably presented locales
  8. Localic products and Till Plewe’s game
  9. Exponentiable locales I: every exponentiable locale is continuous
  10. Exponentiable locales II: the exponentiable locales are the continuous frames

— Jean Goubault-Larrecqjgl-2011