Categories of locally hypercompact spaces and quasicontinuous posets (Q1794269)

In domain theory, the Scott spaces of quasicontinuous domains are exactly the locally hypercompact sober spaces. The author introduced a weak Scott topology by replacing the suprema with cuts. In terms of weak topologies, the author obtained that the category of $s_2$-quasicontinuous posets, a generalization of quasicontinuous domains introduced by \textit{W. Zhang} and \textit{X. Xu} [Theor. Comput. Sci. 574, 78--85 (2015; Zbl 1315.06007)], is concretely isomorphic to the category of quasisober (a weak sobriety) locally hypercompact spaces. Their patch spaces (the Lawson spaces) are characterized as hyperconvex and hyperregular pospaces in which every monotone net has a supremum to which it convergence. Furthermore, locally hypercompact spaces are also described by certain relations between finite sets and points, providing a quasiuniform approach to such spaces. The results in the paper lead to diverse old and new equivalences and dualities for categories of locally hypercompact spaces or quasicontinuous posets.