Natural continuity space structures on dual Heyting algebras
N-compact frames
We investigate notions of -compactness for frames. We find that the analogues of equivalent conditions defining -compact spaces are no longer equivalent in the frame context. Indeed, the closed quotients of frame ‘-cubes’ are exactly 0-dimensional Lindelöf frames, whereas those frames which satisfy a property based on the ultrafilter condition for spatial -compactness form a much larger class, and better embody what ‘-compact frames’ should be. This latter property is expressible without reference...
Note on dense covers in the category of locales
In this note we are going to study dense covers in the category of locales. We shall show that any product of finitely regular locales with some dense covering property has this property as well.
Notes on Kuratowski-Mrówka theorems in point-free context