Continuous [0,1]-lattices and injective [0,1]-approach spaces

Junche Yu, Dexue Zhang

In 1972, Dana Scott proved a fundamental result on the connection between order and topology which says that injective $T_0$ spaces are precisely continuous lattices endowed with S…