Abstract
The cuts of the classical Dedekind-MacNeille completion DM(S) of a meet semilattice S give rise to a natural cut coverage in the down-set frame \({\mathcal{D}S}\): down-set D covers element s if s lies below all upper bounds of D. This, in turn, leads to what we call the Dedekind-MacNeille frame extension DMF(S). The meet semilattices S for which DM(S) = DMF(S), which we refer to as proHeyting semilattices, can be specified by a simple formula, and we provide a number of equivalent characterizations. A sample result is that DM(S) = DMF(S) iff DM(S) is a Heyting algebra iff DM(S) coincides with the Bruns-Lakser injective envelope.
Similar content being viewed by others
References
Ball R.N.: Distributive Cauchy lattices. Algebra Universalis 18, 134–174 (1984)
Ball, R.N., Pultr, A.: Forbidden forests in Priestley spaces. Cahiers de Top. et Geom. Diff. Cat. XLV-1, 2–22 (2004)
Ball R.N., Pultr A.: Extending semilattices to frames using sites and coverages. Math. Slovaca 64, 527–544 (2014)
Ball R.N., Pultr A., Picado J.: Notes on exact meets and joins. Appl. Categ. Structures 22, 699–714 (2014)
Bruns G., Lakser H.: Injective hulls of semilattices. Canad. Math. Bull. 13, 115–118 (1970)
Johnstone, P.T.: Stone spaces. Cambridge Studies in Advanced Mathematics 3, Cambridge University Press (1982)
Cornish W.H.: The kernels of skeletal congruences on a a distributive lattice. Math. Nachr. 84, 219–228 (1978)
Jung, A., Moshier, G. Andrew, Vickers, S.: Presenting DCPOs and DCPO algebras. In: Proceedings of the 24th Conference On the Mathematical Foundations of Programming Semantics, Electronic Notes on Theoretical Computer Science, vol. 21, pp. 209–229 (2008)
MacNeille H.M.: Partially ordered sets. Trans. Amer. Math. Soc. 42, 416–460 (1937)
Picado, J., Pultr, A.: Locales treated mostly in a covariant way. Textos de Matematica, Serie B 41, Universidade de Coimbra, Departamento de Matematica, Coimbra (2008)
Picado, J., Pultr, A.: Frames and Locales: Topology without points. Frontiers in Mathematics, vol. 28. Springer, Basel (2012)
Pultr, A.: Frames, Handbook of algebra, vol. 3, pp. 791–857 North-Holland, Amsterdam (2003)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by P. P. Palfy.
In memory of Jiří Sichler
The first two authors gratefully acknowledge support from Project P202/12/G061 of the Grant Agency of the Czech Republic, and from the Department of Mathematics of the University of Denver. All three authors gratefully acknowledge support from the Center of Excellence in Applied Computational and Fundamental Science, Chapman University, Orange, California.
Rights and permissions
About this article
Cite this article
Ball, R.N., Pultr, A. & Walters Wayland, J. The Dedekind MacNeille site completion of a meet semilattice. Algebra Univers. 76, 183–197 (2016). https://doi.org/10.1007/s00012-016-0397-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-016-0397-9