A Gelfand duality for continuous lattices

Ruiyuan Chen

We prove that the category of continuous lattices and meet- and directed join-preserving maps is dually equivalent, via the hom functor to $[0,1]$, to the category of complete Arch…