ABSTRACT In this paper, we propose the strong* proximity lattices, and prove that the categories and are categorically equivalent, building on the framework established by Achim Jung and Philipp Sünderhauf. denotes the category of all QFS‐domains and continuous functions. denotes the category of the strong* proximity lattices with the approximable relations. This answers the question posed by Achim Jung at the conference ISDT'13.
Feng et al. (Fri,) studied this question.