Abstract
Inspired by locale theory, pointfree convex geometry was first proposed and studied by Yoshihiro Maruyama. In this paper, we shall continue to his work and investigate the related topics on pointfree convex spaces. Concretely, the following results are obtained: (1) A Hofmann–Lawson-like duality for pointfree convex spaces is established. (2) The \(\mathcal {M}\)-injective objects in the category of \(S_0\)-convex spaces are proved precisely to be sober convex spaces, where \(\mathcal {M}\) is the class of strict maps of convex spaces; (3) A convex space X is sober iff there never exists a nontrivial identical embedding \(i:X\hookrightarrow Y\) such that its dualization is an isomorphism, and a convex space X is \(S_D\) iff there never exists a nontrivial identical embedding \(k:Y\hookrightarrow X\) such that its dualization is an isomorphism. (4) A dual adjunction between the category \(\textbf{CLat}_D\) of continuous lattices with continuous D-homomorphisms and the category \(\textbf{CS}_D\) of \(S_D\)-convex spaces with CP-maps is constructed, which can further induce a dual equivalence between \(\textbf{CS}_D\) and a subcategory of \(\textbf{CLat}_D\); (5) The relationship between the quotients of a continuous lattice L and the convex subspaces of \({\textbf {cpt}}(L)\) is investigated and the collection \({\textbf {Alg}}({\textbf {Q}}(L))\) of all algebraic quotients of L is proved to be an algebraic join-sub-complete lattice of \({\textbf {Q}}(L)\) of all quotients of L, where \({\textbf {cpt}}(L)\) denote the set of non-bottom compact elements of L. Furthermore, it is shown that \({\textbf {Alg}}({\textbf {Q}}(L))\) is isomorphic to the collection \({\textbf {Sob}}(\mathcal {P}({\textbf {cpt}}(L)))\) of all sober convex subspaces of \({\textbf {cpt}}(L)\); (6) Several necessary and sufficient conditions for all convex subspaces of \({\textbf {cpt}}(L)\) to be sober are presented.
Similar content being viewed by others
Data availability
Data sharing not applicable to this article as datasets were neither generated nor analysed.
References
Achinger, J.: Generalization of Scott’s formula for retractions from generalized Alexandroff’s cube. Stud. Log. 45(3), 281–292 (1986)
Aczel, P.: Aspects of general topology in constructive set theory. Ann. Pure Appl. Logic 137, 3–29 (2006)
Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories: The Joy of Cats. Wiley, New York (1990)
Aull, C.E., Thron, W.J.: Separation axioms between \(T_0\) and \(T_1\). Indag. Math. 65, 26–37 (1962)
Banaschewski, B., Brümmer, G.C.L., Hardie, K.A.: Biframes and bispaces. Quaest. Math. 6, 13–25 (1983)
Banaschewski, B., Pultr, A.: Pointfree aspects of the \(T_D\)-axiom of classical topology. Quaest. Math. 33, 369–385 (2010)
Barr, M., Kennison, J.F., Raphael, R.: Isbell duality. Theory Appl. Categ. 20, 504–542 (2008)
Ciraulo, F., Sambin, G.: Finitary formal topologies and Stone’s representation theorem. Theoret. Comput. Sci. 405, 11–23 (2008)
Coquand, T.: Formal topology and structive mathematics: the Gelfand and Stone–Yosida representation theorems. J. UCS 11(12), 1932–1944 (2005)
Coquand, T.: Space of valuations. Ann. Pure Appl. Logic 157, 97–109 (2009)
Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)
Detlefsen, M.: Hilbert’s Program: An Essay on Mathematical Instrumentalism. Springer, Boston (1986)
Drake, D., Thron, W.J.: On the representations of an abstract lattice as the family of closed sets of a topological space. Trans. Am. Math. Soc. 120, 57–71 (1965)
Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Cambridge Universalis Press, New York (2003)
Hofmann, K.H., Lawson, J.D.: The spectral theory of distributive continuous lattices. Trans. Am. Math. Soc. 246, 285–310 (1978)
Hofmann, K.H., Mislove, M.W.: The lattice of kernel operators and topological algebra. Math. Z. 154, 175–188 (1977)
Hofmann, K.H., Mislove, M., Stralka, A.: Dimension raising maps in topological algebras. Math. Z. 135, 1–36 (1973)
Jankowski, A.W.: Absolute retracts and absolute extensors in the category of closure spaces. In: Guzicki, W., Marek, W., Pelc, A., Rauszer, C. (eds.) Proceeding of a Conference Held in September 1981 at Jadwisin, Near Warsaw-Open Days in Model Theory and Set Theory, pp. 135–143. University of Leeds, Leeds (1984)
Jankowski, A.W.: A conjunctions in closure spaces. Stud. Log. 43, 341–351 (1984)
Jankowski, A.W.: Universality of the closure space of filters in the algebra of all subsets. Stud. Log. 44, 1–9 (1985)
Jankowski, A.W.: A disjunctions in closure spaces. Stud. Log. 44, 11–24 (1985)
Jankowski, A.W.: Some modifications of Scott’s theorem on injective spaces. Stud. Log. 45, 155–166 (1986)
Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)
Liu, Y.M., Luo, M.K.: \(T_D\) property and spatial sublocales. Acta Math. Sin. (Engl. Ser.) 11, 324–336 (1995)
Markowsky, G.: Chain-complete posets and directed sets with applications. Algebra Universalis 6, 53–68 (1976)
Maruyama, Y.: Fundamental results for pointfree convex geometry. Ann. Pure Appl. Logic 161, 1486–1501 (2010)
Maruyama, Y.: Topological duality via maximal spectrum functor. Commun. Algebra 48, 2616–2623 (2020)
Picado, J., Pultr, A.: Frames and Locales: Topology Without Points. Frontiers in Mathematics, Springer, Basel (2012)
Scott, D.S.: Continuous lattices. Lect. Notes Math. 247, 97–136 (1972)
Shen, C., Yang, S.J., Zhao, D.S., Shi, F.G.: Lattice-equivalence convex spaces. Algebra Universalis 80, 26 (2019). https://doi.org/10.1007/s00012-019-0600-x
Suarez, A.L.: On the relation between subspaces and sublocales. Ann. Pure Appl. Logic 226, 106851 (2022)
Thron, W.J.: Lattice-equivalence of topological spaces. Duke Math. J. 29, 671–678 (1962)
Van de Vel, M.: Theory of Convex Structures. North-Holland, Amsterdam (1993)
Vickers, S.: Topology Via Logic. Cambridge University Press, Cambridge (1996)
Vickers, S.: Locales and toposes as spaces. In: Aiello, M., Pratt-Hartmann, I., Van Benthem, J. (eds.) Handbook of Spatial Logics, pp. 429–496. Springer, Dordrecht (2007)
Acknowledgements
The author would like to express his sincere thanks to the editors and the anonymous reviewer for their most valuable comments and suggestions in improving this paper greatly.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that he has no conflict of interest.
Additional information
Communicated by Presented by A. Dow
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work is supported by the National Natural Science Foundation of China (12101497) and the Fundamental Research Funds for the Central Universities (G2020KY05206).
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Xia, C. Some further results on pointfree convex geometry. Algebra Univers. 85, 20 (2024). https://doi.org/10.1007/s00012-024-00847-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-024-00847-7