On an aspect of scatteredness in the point-free setting (Q283256)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On an aspect of scatteredness in the point-free setting |
scientific article |
Statements
On an aspect of scatteredness in the point-free setting (English)
0 references
13 May 2016
0 references
In his pioneering paper [Math. Scand. 31, 5--32 (1972; Zbl 0246.54028)], \textit{J. R. Isbell} introduced the localic separation axioms of fitness and subfitness. These axioms have recently been studied further by other authors, including the second and third authors of the paper under review [Appl. Categ. Struct. 23, No. 3, 323--335 (2015; Zbl 1368.06005)]. A locale is fit if and only if each of its closed sublocales is a meet of open ones, and subfit if and only if each of its open sublocales is a join of closed sublocales. Since there is the characterisation that a locale is fit if and only if each of its sublocales is a meet of closed ones, it is natural to ask which locales have the property that every sublocale is a join of closed sublocales. It is this question that the authors address. They prove that the locales with this feature are precisely the ones that are simultaneously scattered (meaning that every sublocale is complemented) and subfit or fit. Applied to spatial locales, they show that the frame of open sets of a topological space has this feature if and only if the space is a sober scattered \(T_1\)-space. One of the interesting results they prove en passant is that in a regular frame the pseudocomplement of any element is the meet of those elements it joins at the top. It has since been shown by the second and third authors of this paper [loc. cit.] that this result holds already for subfit frames.
0 references
frame
0 references
locale
0 references
sublocale
0 references
open sublocale
0 references
closed sublocale
0 references
fit locales
0 references
subfit locales
0 references
scattered spaces
0 references