Abstract
In this paper, we present a topological duality for a category of partially ordered sets that satisfy a distributivity condition studied by David and Erné. We call these posets mo-distributive. Our duality extends a duality given by David and Erné because our category of spaces has the same objects as theirs but the class of morphisms that we consider strictly includes their morphisms. As a consequence of our duality, the duality of David and Erné easily follows. Using the dual spaces of the mo-distributive posets we prove the existence of a particular Δ1-completion for mo-distributive posets that might be different from the canonical extension. This allows us to show that the canonical extension of a distributive meet-semilattice is a completely distributive algebraic lattice.
Similar content being viewed by others
References
Birkhoff, G.: Lattice theory, 3rd ed American Mathematical Society Colloquium Publications, vol. 25. American Mathematical Society, Providence (1967)
Celani, S.A.: Topological representation of distributive semilattices. Sci. Math. Jpn. 58(1), 55–66 (2003)
Celani, S.A., Calomino, I.: Some remarks on distributive semilattices. Comment. Math. Univ. Carolin 54(3), 407–428 (2013)
Davey, B.A., Priestley, H.A.: Introduction to lattices and order, 2nd edn. Cambridge University Press, Cambridge (2002)
David, E., Erné, M.: Ideal completion and stone representation of ideal-distributive ordered sets. Topol. Appl. 44(1), 95–113 (1992)
Dunn, J.M., Gehrke, M., Palmigiano, A.: Canonical extensions and relational completeness of some substructural logics. J. Symbol. Logic 70, 713–740 (2005)
Erné, M.: Distributivegesetze und die dedekin’sche schnittvervollständigung. Abh. Braunschweig Wiss. Ges. 33, 117–145 (1982)
Erné, M.: The dedekind-macneille completion as a reflector. Order 8(2), 159–173 (1991)
Esteban, M.: Duality theory and abstact algebraic logic. Ph.D. thesis, Universitat de Barcelona. http://hdl.handle.net/2445/47705 (2013)
Frink, O.: Ideals in partially ordered sets. Amer. Math. Mon. 61(4), 223–234 (1954)
Gehrke, M.: Generalized Kripke frames. Stud. Logica 84(2), 241–275 (2006)
Gehrke, M., Harding, J.: Bounded lattice expansions. J. Algebra 238(1), 345–371 (2001)
Gehrke, M., Jansana, R., Palmigiano, A.: Δ1-completions of a poset. Order 30(1), 39–64 (2013)
Gehrke, M., Jónsson, B.: Bounded distributive lattices with operators. Math. Jpn. 40(2), 207–215 (1994)
Gehrke, M., Jónsson, B.: Monotone bounded distributive lattice expansions. Math. Jpn. 52(2), 197–213 (2000)
Gehrke, M., Jónsson, B.: Bounded distributive lattice expansions. Math. Scand. 94(1), 13–45 (2004)
González, L.: Topological dualities and completions for (distributive) partially ordered sets. Ph.D. thesis, Universitat de Barcelona. http://hdl.handle.net/2445/67376 (2015)
Grätzer, G.: General lattice theory. Academic Press (1978)
Hickman, R.C., Monro, G.P.: Distributive partially ordered sets. Fund. Math. 120, 151–166 (1984)
Morton, W.: Canonical extensions of posets. Algebra Univers. 72(2), 167–200 (2014)
Stone, M.H.: The theory of representation for boolean algebras. Trans. Amer. Math. Soc. 40(1), 37–111 (1936)
Stone, M.H.: Topological representations of distributive lattices and brouwerian logics. Časopis Pro Pěstování Matematiky Fysiky 67(1), 1–25 (1938)
Acknowledgements
We would like to thank the referee for his/her suggestions and comments that allowed to improve the presentation of the paper.
The first author was partially supported by Universidad Nacional de La Pampa (FCEyN) under the grant P. I. 64, Resol. 141/15; and also by Consejo Nacional de Investigaciones Científicas y Técnicas under the grant PIP 112-20150-100412CO, all from the goverment of Argentina.
The second author was partially supported by the research grant 2014 SGR 788 from the government of Catalonia; and also by the research projects MTM2011-25747 and MTM2016-74892-P (which include feder funds from the European Union) and the project MDM-2014-044 of the María de Maeztu program, all from the government of Spain.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
González, L.J., Jansana, R. A Spectral-style Duality for Distributive Posets. Order 35, 321–347 (2018). https://doi.org/10.1007/s11083-017-9435-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-017-9435-2