pith. sign in

arxiv: 1709.03269 · v1 · pith:OUQNLPSRnew · submitted 2017-09-11 · 💻 cs.LO

On A New Convergence Class in Sup-sober Spaces

classification 💻 cs.LO
keywords convergenceclassspacestopologicalzhaodomainmathcaloperatorname
0
0 comments X
read the original abstract

Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of $T_0$-spaces instead of restricting to posets. In this paper, we respond to this calling by proving a topological parallel of a 2005 result due to B. Zhao and D. Zhao, i.e., an order-theoretic characterisation of those posets for which the Scott-convergence is topological. We do this by adopting a recent approach due to D. Zhao and W. K. Ho by replacing directed subsets with irreducible sets. As a result, we formulate a new convergence class $\mathcal{I}$ in $T_0$-spaces called ${\operatorname{Irr}}$-convergence and establish that a sup-sober space $X$ is ${\operatorname{SI}}^{-}$-continuous if and only if it satisfies $*$-property and the convergence class $\mathcal{I}$ in it is topological.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.