Distributive lattice orderings and Priestley duality
Michel Krebs, Dominic van der Zypen · arXiv (Cornell University) · 2007
The ordering relation of a bounded distributive lattice L is a (distributive) (0, 1)-sublattice of L \times L. This construction gives rise to a functor Φfrom the category of bounded distributive lattices to itself. We examine the interaction of Φwith Priestley duality and characterise those bounded distributive lattices L such that there is a bounded distributive lattice K such that Φ(K) is (isomorphic to) L.