Exact and strongly exact filters. (English) Zbl 1461.18010

There exists a well-know notion of frame, i.e., a complete lattice, in which finite meets distribute over arbitrary joins [P. T. Johnstone, Stone spaces. Cambridge: Cambridge University Press (1982; Zbl 0499.54001)]. The paper considers the notion of (strongly) exact meet and its related concept of (strongly) exact filter in frames. A meet \(\bigwedge A\) in a frame \(L\) is said to be exact provided that it distributes over joins, i.e., \((\bigwedge A)\vee b=\bigwedge_{a\in A}(a\vee b)\) for every \(b\in L\). Moreover, \(\bigwedge A\) is said to be strongly exact provided that it is preserved by every frame homomorphism \(h\), i.e., \(h(\bigwedge A)=\bigwedge_{a\in A}h(a)\) (every frame homomorphism preserves finite meets and arbitrary joins). The following implications for meets are valid in frames: “finite” \(\Rightarrow\) “strongly exact” \(\Rightarrow\) “exact”. The classical notion of filter in a frame as an up-set (a subset \(A\) of a frame \(L\) such that for every \(a\in A\) and every \(b\in L\), \(a\leqslant b\) implies \(b\in A\)) closed under finite meets can thus be easily extended to (strongly) exact filters, namely, as up-sets closed under (strongly) exact meets.
The paper provides a characterization of the sets of exact and strongly exact filters of a frame \(L\), denoted \(\text{Filt}_{\text{E}}(L)\) and \(\text{Filt}_{\text{sE}}(L)\), respectively. One of the main characterization tools makes the notion of frame sublocale. A subset \(S\) of a frame \(L\) is a sublocale provided that it fulfills the following two properties: (1) if \(M\subseteq S\), then \(\bigwedge M\in S\); (2) if \(s\in S\) and \(a\in L\), then \(a\rightarrow s\in S\), where the operation \(\cdot\rightarrow\cdot\) is defined by \(a\wedge b\leqslant c\) iff \(a\leqslant b\rightarrow c\) for every \(a,b,c,\in L\).
The authors show, in particular, that \(\text{Filt}_{\text{sE}}(L)\) is naturally isomorphic to the system of the fitted sublocales of \(L\) (a sublocale is fitted provided that it is an intersection of open sublocales, namely, sublocales of the form \(\{a\rightarrow b\,|\,b\in L\}\) for some \(a\in L\)), which addresses the question on representation of this system by filters considered in [R. N. Ball et al., Appl. Categ. Struct. 28, No. 4, 655–667 (2020; Zbl 1444.18018)]. The authors additionally show that the frame of exact filters \(\text{Filt}_{\text{E}}(L)\) is a sublocale of the frame of strongly exact filters \(\text{Filt}_{\text{sE}}(L)\).
The paper is well written and easy to read. It gives most of its required preliminaries, and will be of interest to the researchers studying point-free topology.


18F70 Frames and locales, pointfree topology, Stone duality
06A15 Galois correspondences, closure operators (in relation to ordered sets)
06D20 Heyting algebras (lattice-theoretic aspects)
06D22 Frames, locales
Full Text: DOI


[1] Aull, CE; Thron, WJ, Separation axioms between \(T_0\) and \(T_1\), Indag. Math., 24, 26-37 (1963) · Zbl 0108.35402
[2] Ball, RN; Moshier, MA; Pultr, A., Exact filters and joins of closed sublocales, Appl. Categ. Struct. (2020) · Zbl 1444.18018
[3] Ball, RN, Distributive Cauchy lattices, Algebra Univ., 18, 134-174 (1984) · Zbl 0539.06008
[4] Ball, RN; Picado, J.; Pultr, A., Notes on exact meets and joins, Appl. Categ. Struct., 22, 699-714 (2014) · Zbl 1323.06007
[5] Ball, RN; Picado, J.; Pultr, A., On an aspect of scatteredness in the point-free setting, Portugal. Math., 73,2, 139-152 (2016) · Zbl 1353.06003
[6] Bruns, G.; Lakser, H., Injective hulls of semilattices, Can. Math. Bull., 13, 115-118 (1970) · Zbl 0212.03801
[7] Clementino, MM; Picado, J.; Pultr, A., The other closure and complete sublocales, Appl. Categ. Struct., 26, 892-906 (2018) · Zbl 06954307
[8] Isbell, JR, Atomless parts of spaces, Math. Scand., 31, 5-32 (1972) · Zbl 0246.54028
[9] Johnstone, PT, Stone Spaces (1982), Cambridge: Cambridge University Press, Cambridge
[10] MacNeille, HM, Extensions of partially ordered sets, Proc. Natl. Acad. Sci. USA, 22, 45-50 (1936) · Zbl 0013.24302
[11] MartĂ­nez, J.; Wm, W., McGovern, free meets and atomic assemblies of frames, Algebra Univ., 62, 153-163 (2009) · Zbl 1209.06005
[12] Picado, J.; Pultr, A., Frames and Locales: Topology Without Points, Frontiers in Mathematics (2012), Basel: Springer, Basel · Zbl 1231.06018
[13] Picado, J.; Pultr, A., A Boolean extension of a frame and a representation of discontinuity, Quaest. Math., 40, 8, 1111-1125 (2017) · Zbl 1436.06026
[14] Picado, J.; Pultr, A.; Tozzi, A., Joins of closed sublocales, Houston J. Math., 45, 1, 21-38 (2019) · Zbl 1459.06008
[15] Plewe, T., Sublocale lattices, J. Pure Appl. Algebra, 168, 309-326 (2002) · Zbl 1004.18003
[16] Todd Wilson, J.: The assembly tower and some categorical and algebraic aspects of frame theory, PhD Thesis, Carnegie Mellon University (1994)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.