On joins of complemented sublocales
type: Item
instance of: scholarly article
title: On joins of complemented sublocales
zbMATH Open document ID: 1477.18023
author: Igor Arrieta
published in: Algebra Universalis
publication date: 2021-12-08T00:00:00Z
review text: A sublocale of a locale \(L\) is a meet-subset \(S\) such that for all \(s \in S\) and for all \( x \in L\), the Heyting exponential \(x\rightarrow s\) belongs to \(S\). In this paper, the author deals with several aspects concerning sublocale lattices, i.e. the natural subobject lattices in the category \(\mathbf{Loc}\) of locales. Sublocales of a given locale \(L\) constitute under the natural inclusion ordering a coframe \(S(L)\), that is, its order-theoretic dual \(S(L)^{op}\) is again a locale. In a recent work [Houston J. Math. 45, No. 1, 21--38 (2019; Zbl 1459.06008)], \textit{J. Picado} et al. show that under a weak point-free separation axiom (namely, subfitness) the subset \(S_c(L)\) of \(S(L)\) consisting of joins of closed sublocales is a Boolean algebra, and moreover it coincides precisely with the Booleanization \(S_b(L)\) of \(S(L)\). Under the above results, the author study \(S_b(L)\) for a general locale \(L\), and show that \(S_c(L)\) is always a subframe of \(S_b(L)\). Moreover, for a \(T_D\)-space \(X\), he prove that \(S_b(\Omega(X))\) is precisely the set of classical subspaces of \(X\), and that a locale \(L\) is \(T_D\)-spatial if and only if the Boolean algebra \(S_b(L)\) is atomic. Finally, given that the Booleanization \(B_L\) of a locale \(L\) is not a functorial construction, the author study some functoriality properties of \(S_b(L)\) in order tu obtain an alternative approach.
reviewed by: Joaquín Luna-Torres
Mathematics Subject Classification ID: 18F70
Mathematics Subject Classification ID: 06D22
Mathematics Subject Classification ID: 54D35
Mathematics Subject Classification ID: 54D10
zbMATH DE Number: 7441052
zbMATH Keywords: locale
zbMATH Keywords: frame
zbMATH Keywords: sublocale
zbMATH Keywords: Booleanization
zbMATH Keywords: induced sublocale
zbMATH Keywords: complemented sublocale
zbMATH Keywords: subfit locale
zbMATH Keywords: \(T_D\)-axiom
MaRDI profile type: Publication
full work available at URL: s00012-021-00757-y
OpenAlex ID: W3215641557
cites work: Some aspects of (non) functoriality of natural discrete covers of locales
cites work: Maximal essential extensions in the context of frames
cites work: Pointfree Aspects of theTdAxiom of Classical Topology
cites work: On covered prime elements and complete homomorphisms of frames
cites work: Maximal Lindelöf locales
cites work: Remainders in pointfree topology
cites work: Q3965241
cites work: Frames and Locales
cites work: A Boolean extension of a frame and a representation of discontinuity
cites work: Q4464693
cites work: Q5224415
cites work: Sublocale lattices
DOI: 10.1007/S00012-021-00757-Y
Recommended article: Q5224415
Recommended article: When is the frame of nuclei spatial: a new approach
Recommended article: On an aspect of scatteredness in the point-free setting
Recommended article: New aspects of subfitness in frames and spaces
Recommended article: Exact filters and joins of closed sublocales
Recommended article: Q3595091
Recommended article: Sublocale lattices
Recommended article: Separation in Point-Free Topology
Recommended article: The coframe of \(D\)-sublocales of a locale and the \(T_D\)-duality
Recommended article: A new diagonal separation and its relations with the Hausdorff property
description: scientific article; zbMATH DE number 7441052