Abstract
A meet in a frame is exact if it join-distributes with every element, it is strongly exact if it is preserved by every frame homomorphism. Hence, finite meets are (strongly) exact which leads to the concept of an exact resp. strongly exact filter, a filter closed under exact resp. strongly exact meets. It is known that the exact filters constitute a frame \({\mathrm{Filt}}_{{\textsf {E}}}(L)\) somewhat surprisingly isomorphic to the frame of joins of closed sublocales. In this paper we present a characteristic of the coframe of meets of open sublocales as the dual to the frame of strongly exact filters \({\mathrm{Filt}}_{{\textsf {sE}}}(L)\).
Similar content being viewed by others
Notes
This may sound odd but it makes good sense; if L happens to have points, they are sublocales of the form \(\{a,1\}\) with prime \(a\ne 1\). So \({\textsf {O}}\) is even smaller than a point.
This can be rewritten in first order formulas as follows:
$$\begin{aligned} a \nleq b\ \implies \exists c,\ a \vee c = 1 \ne b \vee c, \quad \end{aligned}$$(sfit)and
$$\begin{aligned} a \nleq b \implies \exists c,\ a \vee c = 1\ \text {and}\ c \!\rightarrow \!b \ne b. \end{aligned}$$(fit)
References
Aull, C.E., Thron, W.J.: Separation axioms between \(T_0\) and \(T_1\). Indag. Math. 24, 26–37 (1963)
Ball, R.N., Moshier, M.A., Pultr, A.: Exact filters and joins of closed sublocales. Appl. Categ. Struct. (2020). https://doi.org/10.1007/s10485-020-09593-y
Ball, R.N.: Distributive Cauchy lattices. Algebra Univ. 18, 134–174 (1984)
Ball, R.N., Picado, J., Pultr, A.: Notes on exact meets and joins. Appl. Categ. Struct. 22, 699–714 (2014)
Ball, R.N., Picado, J., Pultr, A.: On an aspect of scatteredness in the point-free setting. Portugal. Math. 73,2, 139–152 (2016)
Bruns, G., Lakser, H.: Injective hulls of semilattices. Can. Math. Bull. 13, 115–118 (1970)
Clementino, M.M., Picado, J., Pultr, A.: The other closure and complete sublocales. Appl. Categ. Struct. 26, 892–906 (2018). corr. 907-908
Isbell, J.R.: Atomless parts of spaces. Math. Scand. 31, 5–32 (1972)
Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)
MacNeille, H.M.: Extensions of partially ordered sets. Proc. Natl. Acad. Sci. USA 22, 45–50 (1936)
Martínez, J., Wm, W.: McGovern, free meets and atomic assemblies of frames. Algebra Univ. 62, 153–163 (2009)
Picado, J., Pultr, A.: Frames and Locales: Topology Without Points, Frontiers in Mathematics, vol. 28. Springer, Basel (2012)
Picado, J., Pultr, A.: A Boolean extension of a frame and a representation of discontinuity. Quaest. Math. 40(8), 1111–1125 (2017)
Picado, J., Pultr, A., Tozzi, A.: Joins of closed sublocales. Houston J. Math. 45(1), 21–38 (2019)
Plewe, T.: Sublocale lattices. J. Pure Appl. Algebra 168, 309–326 (2002)
Todd Wilson, J.: The assembly tower and some categorical and algebraic aspects of frame theory, PhD Thesis, Carnegie Mellon University (1994)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by M. M. Clementino.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The second author gratefully acknowledges support from KAM at MFF, Charles University, Prague and from CECAT at Chapman University, Orange.
Rights and permissions
About this article
Cite this article
Moshier, M.A., Pultr, A. & Suarez, A.L. Exact and Strongly Exact Filters. Appl Categor Struct 28, 907–920 (2020). https://doi.org/10.1007/s10485-020-09602-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-020-09602-0