Source author record

Weng Kin Ho

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Logic in Computer Science math.GN

Catalog footprint

Research overview

3works

2topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

Join-continuity + Hypercontinuity = Prime continuity

A remarkable result due to Kou, Liu & Luo states that the condition of continuity for a dcpo can be split into quasi-continuity and meet-continuity. Their argument contained a gap, however, which is probably why the authors of the monograph Continuous Lattices and Domains used a different (and fairly sophisticated) sequence of lemmas in order to establish the result. In this note we show that by considering the Stone dual, that is, the lattice of Scott-open subsets, a straightforward proof may be given. We do this by showing that a complete lattice is prime-continuous if and only if it is join-continuous and hypercontinuous. A pleasant side effect of this approach is that the characterisation of continuity by Kou, Liu & Luo also holds for posets, not just dcpos.

preprint2016arXiv

On a new convergence class in k-bounded sober spaces

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 lim-inf 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 on $T_0$ spaces called Irr-convergence and established that this convergence class $\mathcal{I}$ on a $k$ -bounded sober space $X$ is topological if and only if $X$ is Irr-continuous.

preprint2016arXiv

Strong completions of spaces

A non-empty subset of a topological space is irreducible if whenever it is covered by the union of two closed sets, then already it is covered by one of them. Irreducible sets occur in proliferation: (1) every singleton set is irreducible, (2) directed subsets (which of fundamental status in domain theory) of a poset are exactly its Alexandroff irreducible sets, (3) directed subsets (with respect to the specialization order) of a $T_0$ space are always irreducible, and (4) the topological closure of every irreducible set is again irreducible. In recent years, the usefulness of irreducible sets in domain theory and non-Hausdorff topology has expanded. Notably, Zhao and Ho (2009) developed the core of domain theory directly in the context of $T_0$ spaces by choosing the irreducible sets as the topological substitute for directed sets. Just as the existence of suprema of directed subsets is featured prominently in domain theory (and hence the notion of a dcpo -- a poset in which all directed suprema exist), so too is that of irreducible subsets in the topological domain theory developed by Zhao and Ho (2009). The topological counterpart of a dcpo is thus this: A $T_0$ space is said to be strongly complete if the suprema of all irreducible subsets exist. In this paper, we show that the category, $\mathbf{scTop^+}$ , of strongly complete $T_0$ spaces forms are reflective subcategory of a certain lluf subcategory, $\mathbf{Top^+}$ , of $T_0$ spaces.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Weng Kin Ho

Research overview

Is this your work?

3 publications

Join-continuity + Hypercontinuity = Prime continuity

On a new convergence class in k-bounded sober spaces

Strong completions of spaces

See the researcher in context

Building this map preview