Overlap Algebras as Almost Discrete Locales

Francesco Ciraulo

Boolean locales are "almost discrete", in the sense that a spatial Boolean locale is just a discrete locale (that is, it corresponds to the frame of open subsets of a discrete spac…