Sublocale sets and sublocale lattices
Jorge Picado, Aleš Pultr · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 2006
We present very short and simple proofs of such facts as co-frame distributivity of sublocales, zero-dimensionality of the resulting co-frames, Isbell’s Density Theorem and characteristic properties of fit and subfit frames, using sublocale sets