Abstract
<p>The Menger and the almost Menger properties are extended to locales. Regarding the former, the extension is conservative (meaning that a space is Menger if and only if it is Menger as a locale), and the latter is conservative for sober T<sub>D</sub>-spaces. Non-spatial Menger (and hence almost Menger) locales do exist, so that the extensions genuinely transcend the topological notions. We also consider projectively Menger locales, and show that, as in spaces, a locale is Menger precisely when it is Lindelöf and projectively Menger. Transference of these properties along localic maps (via direct image or pullback) is considered.</p>
Publisher
Universitat Politecnica de Valencia
Reference21 articles.
1. R. N. Ball and J. Walters-Wayland, C- and C*-quotients in pointfree topology, Dissert. Math. (Rozprawy Mat.) 412 (2002), 1-62. https://doi.org/10.4064/dm412-0-1
2. B. Banaschewski and C. Gilmour, Pseudocompactness and the cozero part of a frame, Comment. Math. Univ. Carolin. 37 (1996), 579-589
3. B. Banaschewski and A. Pultr, Variants of openness, Appl. Categ. Structures 2 (1994), 331-350. https://doi.org/10.1007/BF00873038
4. M. Bonanzinga, F. Cammaroto and M. Matveev, Projective versions of selection principles, Topology Appl. 157 (2010), 874-893. https://doi.org/10.1016/j.topol.2009.12.004
5. C. H. Dowker and D. Strauss, Paracompact frames and closed maps, in: Symposia Mathematica, Vol. XVI, pp. 93-116 (Convegno sulla Topologia Insiemistica e Generale, INDAM, Rome, 1973) Academic Press, London, 1975.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献