Abstract
Each meet semilattice S is well known to be freely extended to a frame by its down-sets DS. In this article we present, first, the complete range of frame extensions generated by S; it turns out to be a sub-coframe of the coframe C of sublocales of DS, indeed, an interval in C, with DS as the top and the extension of S respecting all the exact joins in S as the bottom. Then, the Heyting and Boolean case is discussed; there, the bottom extension is shown to coincide with the Dedekind-MacNeille completion. The technique used is a technique of sites, generalizing that used in [JOHNSTONE, P. T.: Stone Spaces. Cambridge Stud. Adv. Math. 3, Cambridge University Press, Cambridge, 1982].
[1] BALL, R. N.: Distributive Cauchy lattices, Algebra Universalis 18 (1984), 134–174. http://dx.doi.org/10.1007/BF0119852510.1007/BF01198525Search in Google Scholar
[2] BALL, R. N.— PULTR, A.: Quotients and colimits of κ-quantales, Topology Appl. 158 (2011), 2294–2306. http://dx.doi.org/10.1016/j.topol.2011.06.02910.1016/j.topol.2011.06.029Search in Google Scholar
[3] BALL, R. N.— PULTR, A.— PICADO, J.: Notes on exact meets and joins, Appl. Categ. Structures (To appear) Search in Google Scholar
[4] BANASCHEWSKI, B.— PULTR, A.: Scott information systems, frames, and domains, Mathematik-Arbeitspapiere (Universität Bremen) 54 (2000), 35–46. Search in Google Scholar
[5] BRUNS, G.— LAKSER, H.: Injective hulls of semilattices, Canad. Math. Bull. 13 (1970), 115–118. http://dx.doi.org/10.4153/CMB-1970-023-610.4153/CMB-1970-023-6Search in Google Scholar
[6] JOHNSTONE, P. T.: Stone Spaces. Cambridge Stud. Adv. Math. 3, Cambridge University Press, Cambridge, 1982. Search in Google Scholar
[7] PICADO, J.— PULTR, A.: Locales Treated Mostly in a Covariant Way. Textos Mat. Sér. B 41, Univ. Coimbra, Coimbra, 2008. Search in Google Scholar
[8] PICADO, J.— PULTR, A.: Frames and Locales: Topology without Points, Front. Math. 28, Springer, Basel, 2012. http://dx.doi.org/10.1007/978-3-0348-0154-610.1007/978-3-0348-0154-6Search in Google Scholar
[9] PULTR, A.: Frames. In: Handbook of Algebra, Vol. 3 (M. Hazewinkel, ed.), Elsevier, Amsterdam, 2003. 10.1016/S1570-7954(03)80073-6Search in Google Scholar
[10] WIGNER, D.: Two notes on frames, J. Aust. Math. Soc. Ser. A 28 (1979), 257–268. http://dx.doi.org/10.1017/S144678870001220910.1017/S1446788700012209Search in Google Scholar
© 2014 Mathematical Institute, Slovak Academy of Sciences
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
