On monotone determined spaces. (English) Zbl 1395.54028
Luo, Mao-Kang (ed.) et al., Proceedings of the 7th international symposium on domain theory and its applications (ISDT), Shijiazhuang, China, June 2–6, 2017. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 333, 63-72 (2017).
Summary: In this paper, we investigate some basic properties, especially categorical properties, of monotone determined spaces. For a topology \(\tau\), we construct a monotone determined topology \(\mathrm{md}(\tau)\). The main results are: (1) for a space \((X, \tau)\), then \(\mathrm{md}(\tau)\) is the weakest monotone determined topology on \(X\) containing \(\tau\); (2) the category \(\mathrm{Top}_{\mathrm{md}}\) of monotone determined spaces with continuous maps is fully co-reflexive in the category Top of all topology spaces with continuous maps; (3) the category \(\mathrm{Top}_{\mathrm{md}}\) is Cartesian closed.
For the entire collection see [Zbl 1376.68012].
For the entire collection see [Zbl 1376.68012].
MSC:
54F05 | Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces |
06B35 | Continuous lattices and posets, applications |
18B30 | Categories of topological spaces and continuous mappings (MSC2010) |
18D15 | Closed categories (closed monoidal and Cartesian closed categories, etc.) |
54B30 | Categorical methods in general topology |
References:
[1] | Awodey, S., Category theory (2010), Oxford University Press · Zbl 1194.18001 |
[2] | Engelking, R., General Topology (1977), Polish Scientific Publishers: Polish Scientific Publishers Warszawa · Zbl 0373.54002 |
[3] | Erné, M., Infinite distributive laws versus local connectedness and compactness properties, Topology and its Applications, 156, 2054-2069 (2009) · Zbl 1190.54022 |
[4] | Erné, M., Scott convergence and Scott topology on partially ordered sets II, (Banaschewski, B.; Hoffman, R.-E., Continuous Lattices. Continuous Lattices, Lecture Notes in Math., vol. 871 (1979), Springer-Verlag: Springer-Verlag Bremen), 1981, Berlin-Heidelberg-New York, pp. 61-96 · Zbl 0482.54023 |
[5] | Gierz, G.; Hofmann, K.; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D., Continuous Lattices and Domains, Encyclopedia of Mathematics and its Applications, vol. 93 (2003), Cambridge University Press · Zbl 1088.06001 |
[6] | Gierz, G.; Lawson, J. D., Generalized continuous and hypercontinuous lattices, Rocky Mountain J. Math., 11, 271-296 (1981) · Zbl 0472.06014 |
[7] | Isbell, J., Completion of a construction of Johnstone, Proceedings of the American Mathematical Society, 85, 3, 333-334 (1982) · Zbl 0492.06006 |
[8] | Munkres, J. R., Topology (2000), Prentice Hall · Zbl 0951.54001 |
[9] | Priestley, H. A., Intrinsic spectral topologies, Annals of the New York Academy of Sciences, 728, 1, 78-95 (1994) · Zbl 0911.54026 |
[10] | Xu, X. Q., Relational representations of complete lattices and their applications (2004), Sichuan University, PhD thesis |
[11] | Yang, J. B.; Luo, M. K., Priestley spaces, quasi-hyperalgebraic lattices and Smyth powerdomains, Acta Mathematics Sinica (English Series), 22, 951-958 (2006) · Zbl 1119.06003 |
[12] | Yang, J. B., Quasi-hyperalgebraic Domains and quasi-hyperalgebraic lattices (2006), Sichuan University, PhD thesis · Zbl 1119.06003 |
[13] | Zhang, W. F.; Xu, X. Q., \(s_2\)-Quasiconinuous posets, Theoretical Computer Science, 574, 78-85 (2015) · Zbl 1315.06007 |
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.