Abstract
Let \({\mathcal {P}}\) be a property of subobjects relevant in a category \({\mathcal {C}}\). An object \(X\in {\mathcal {C}}\) is \({\mathcal {P}}\)-separated if the diagonal in \(X\times X\) has \({\mathcal {P}}\); thus e.g. closedness in the category of topological spaces (resp. locales) induces the Hausdorff (resp. strong Hausdorff) axiom. In this paper we study the locales (frames) in which the diagonal is fitted (i.e., an intersection of open sublocales—we speak about \({\mathcal {F}}\)-separated locales). Recall that a locale is fit if each of its sublocales is fitted. Since this property is inherited by products and sublocales, fitness implies (\({\mathcal {F}}\)sep) which is shown to be strictly weaker (one of the results of this paper). We show that (\({\mathcal {F}}\)sep) is in a parallel with the strong Hausdorff axiom (sH): (1) it is characterized by a Dowker-Strauss type property of the combinatorial structure of the systems of frame homomorphisms \(L\rightarrow M\) (and therefore, in particular, it implies \((T_U)\) for analogous reasons like (sH) does), and (2) in a certain duality with (sH) it is characterized in L by all almost homomorphisms (frame homomorphisms with slightly relaxed join-requirement) \(L\rightarrow M\) being frame homomorphisms (while one has such a characteristic of (sH) with weak homomorphisms, where meet-requirement is relaxed).
Similar content being viewed by others
Notes
A space is sober if every completely prime filter \({\mathcal {F}}\) in \(\Omega (X)\) (that is, an \({\mathcal {F}}\) such that \(\mathop {\textstyle \bigcup }_{i\in J}U_i\in {\mathcal {F}}\) only if \(U_j\in {\mathcal {F}}\) for some \(j\in J\)) is \(\{U \, | \, x\in U\} \) for some \(x\in X\) – in other words, if every system of open sets that looks like a neighborhood system is really a neighborhood system of a point. For instance every Hausdorff space is sober.
References
Banaschewski, B.: Another look at the localic Tychonoff Theorem. Comment. Math. Univ. Carolin. 29, 647–656 (1988)
Banaschewski, B.: Singly generated frame extensions. J. Pure Appl. Algebra 83, 1–21 (1992)
Banaschewski, B., Pultr, A.: On weak lattice and frame homomorphisms. Algebra Univ. 51, 137–151 (2004)
Clementino, M.M.: Separation and Compactness in Categories, Doctoral dissertation, University of Coimbra (1991)
Clementino, M.M., Giuli, E., Tholen, W.: Topology in a category: compactness. Portugal. Math. 53, 397–433 (1996)
Clementino, M.M., Giuli, E., Tholen, W.: A functional approach to general topology, In: Categorical Foundations, Encyclopedia Math. Appl., vol. 97, Cambridge University Press, Cambridge, (2004), pp. 103–163
Clementino, M.M., Picado, J., Pultr, A.: The other closure and complete sublocales, Appl. Categ. Structures 26, 892–906 (2018) corr. 907–908
Dowker, C.H., Strauss,D.: \(T_1\)- and \(T_2\)-axioms for frames, In: Aspects of Topology, London Math. Soc. Lecture Note Series, Vol. 93, Cambridge University Press, Cambridge (1985), pp. 325–335
Gutiérrez García, J., Kubiak, T., Picado, J.: On hereditary properties of extremally disconnected frames and normal frames, Topology Appl. 273 1–15 (2020) article no. 106978
Isbell, J.R.: Atomless parts of spaces. Math. Scand. 31, 5–32 (1972)
Isbell, J.R.: Function spaces and adjoints. Math. Scand. 36, 312–339 (1975)
Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)
Johnstone, P.T., Vickers, S.: Preframe presentations present, In: Category Theory (Como, 1990), Lecture Notes in Mathematics, Vol. 1488, Springer, Berlin, pp. 193–212, (1991)
Joyal, A., Tierney, M.: An extension of the Galois theory of Grothendieck, Mem. Am. Math. Soc. 51 (1984), no. 309
Manes, E.G.: Compact Hausdorff objects. General Topol. Appl. 4, 341–360 (1974)
Picado, J., Pultr, A.: Frames and Locales: Topology Without Points, Frontiers in Mathematics, vol. 28. Springer, Basel (2012)
Picado, J., Pultr, A.: More on subfitness and fitness. Appl. Categ. Struct. 23, 323–335 (2015)
Picado, J., Pultr, A.: Separation in Point-free Topology. Birkhäuser-Springer, Cham (2021)
Picado, J., Pultr, A.: On equalizers in the category of locales. Appl. Categ. Struct. 29, 267–283 (2021)
Townsend, C.: Preframe techniques in constructive locale theory. Department of Computing, Imperial College London (1996). (PhD Thesis)
Acknowledgements
The authors acknowledge financial support from the Basque Government (Grant IT974-16), the Centre for Mathematics of the University of Coimbra (UIDB/00324/2020, funded by the Portuguese Government through FCT/MCTES) and the Department of Applied Mathematics (KAM) of Charles University. The first named author also acknowledges support from a predoctoral fellowship of the Basque Government (PRE-2018-1-0375).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Maria Manuel Clementino.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Arrieta, I., Picado, J. & Pultr, A. A New Diagonal Separation and its Relations With the Hausdorff Property. Appl Categor Struct 30, 247–263 (2022). https://doi.org/10.1007/s10485-021-09655-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-021-09655-9
Keywords
- Frame
- Locale
- Sublocale
- Preframe
- Preframe homomorphism
- Weak homomorphism
- Binary coproduct of frames
- Diagonal map
- Strongly Hausdorff frame
- Fit frame
- \(T_U\)-frame
- Simple extension