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
    0 references
    0 references
    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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references