Source author record

Hadrian Andradi

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

2works

2topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

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.