Abstract
Generalizing the obvious representation of a subspace \({Y \subseteq X}\) as a sublocale in Ω(X) by the congruence \({\{(U, V ) | U\cap Y = V \cap Y\}}\), one obtains the congruence \({\{(a, b) |\mathfrak{o}(a) \cap S = \mathfrak{o}(b) \cap S\}}\), first with sublocales S of a frame L, which (as it is well known) produces back the sublocale S itself, and then with general subsets \({S\subseteq L}\). The relation of such S with the sublocale produced is studied (the result is not always the sublocale generated by S). Further, we discuss in general the associated adjunctions, in particular that between relations on L and subsets of L and view the aforementioned phenomena in this perspective.
Similar content being viewed by others
References
Banaschewski B.: Compactification of frames. Math. Nachr. 149, 105–115 (1990)
Banaschewski B., Dube T., Gilmour C., Walters-Wayland J.: Oz in pointfree topology. Quaest. Math. 32, 215–227 (2009)
Banaschewski B., Gilmour C.: Stone-Čech compactification and dimension theory for regular σ-frames. J. London Math. Soc. 39, 1–8 (1989)
Blair R. L.: Spaces in which special sets are z-embedded. Can. J. Math. 28, 673–690 (1976)
Gilmour C.: Realcompact spaces and regular σ-frames. Math. Proc. Cambridge Philos. Soc. 96, 73–79 (1984)
Isbell J.R.: Atomless parts of spaces. Math. Scand. 31, 5–32 (1972)
Johnstone P.T.: Stone spaces. Cambridge Univ. Press, Cambridge (1982)
Joyal A., Tierney M.: An extension of the Galois theory of Grothendieck. Mem. Amer. Math. Soc. 51, no. 309 (1984)
Picado J., Pultr A.: Sublocale sets and sublocale lattices. Arch. Math. 42, 409–418 (2006)
Picado J., Pultr A.: Locales treated mostly in a covariant way. Textos de Matemática, vol. 41, University of Coimbra (2008)
Picado J., Pultr A.: Frames and Locales: Topology without points. Frontiers in Mathematics, vol. 28, Springer, Basel (2012)
Pultr A.: Frames, in: Handbook of Algebra (ed. by M. Hazewinkel), vol. 3, pp. 791-858, Elsevier (2003)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by A. Dow.
Rights and permissions
About this article
Cite this article
Moshier, M.A., Picado, J. & Pultr, A. Generating sublocales by subsets and relations: a tangle of adjunctions. Algebra Univers. 78, 105–118 (2017). https://doi.org/10.1007/s00012-017-0446-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-017-0446-z