“…Write L : Top −→ L-Top for the functor which sends every topological space (X, T ) to (X, L (T )), where L (T ) is the collection of all the Scott continuous functions X −→ L; and write L : L-Top −→ Top for the functor sending every L-topological space (X, ) to (X, L ( )), where L ( ) is the coarsest topology on X making all ∈ Scott continuous X −→ L. Then ( L , L ) is a Galois connection between the category Top of topological spaces and the category L-Top of L-topological spaces. See [11,14,19] for the evolution of this pair of functors.…”