arXiv subjects

Yuxu Chen

Publications and source records attributed to Yuxu Chen.

23 records · Page 2Linked to original sources

arXiv2023

$\mathcal{S}_X$-convergence and locally hypercompact spaces

In this paper, we give a topological version of Scott convergence theorem for locally hypercompact spaces. We introduce the notion of $\mathcal{S}^*_X$-convergence on a $T_0$ topological space $X$, and define the notion of finitely approximated spaces. Monotone determined spaces are natural topological extensions of dcpos. The main results are: (1) A monotone determined space $X$ is a locally hypercompact space iff $\mathcal{S}^*_X$-convergence is topological. (2) For a $T_0$ space $X$, $\mathcal{S}^*_X$-convergence is topological iff $X$ is a finitely approximating space. (3) If the Lawson topology on a monotone determined space $X$ is compact, then $X$ is a dcpo endowed with the Scott topology.

math.GN↗

arXiv2023

Free dcpo-algebras via directed spaces

Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. We will show that the D-completion of free algebras over a Scott space $ΣL$, on the context of directed spaces, are exactly the free dcpo-algebras over dcpo $L$, which reveals the close connection between directed powerspaces and powerdomains. By this result, we provide a topological representation of upper, lower and convex powerdomains of dcpos uniformly.

cs.LO↗

arXiv2022

Free algebras over directed spaces

Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. In order to model nondeterministic semantics, the power structures over directed spaces were defined through the form of free algebras. We show that free algebras over any directed space exist by the Adjoint Functor Theorem. An c-space (resp.\ b-space) can be characterized as a continuous (resp.\ algebraic) directed space. We show that continuous spaces are just all retracts of algebraic spaces by means of topological ideals, which are generalizations of the rounded ideals. Moreover, by categorical methods, we show that the carrier spaces of free algebras over continuous (resp.\ algebraic) spaces are still continuous (resp.\ algebraic) spaces.

math.CT↗

arXiv2022

Continuity and core compactness of topological spaces

We investigate two approximation relations on a T0 topological space, the n-approximation, and the d-approximation, which are generalizations of the way-below relation on a dcpo. Different kinds of continuous spaces are defined by the two approximations and are all shown to be directed spaces. We show that the continuity of a directed space is very similar to the continuity of a dcpo in many aspects, which indicates that the notion of directed spaces is a suitable topological extension of dcpos.The main results are: (1) A topological space is continuous iff it is a retract of an algebraic space;(2) a directed space X is core compact iff for any directed space Y, the topological product is equal to the categorical product in DTop of X and Y respectively;(3) a directed space is continuous (resp., algebraic, quasicontinuous, quasialgebraic) iff the lattice of its closed subsets is continuous (resp., algebraic, quasicontinuous, quasialgebraic).

math.GN↗

arXiv2022

Power structures of directed spaces

Powerdomains in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages.\ In this paper,\ we extend the notion of powerdomain to the category of directed spaces,\ which is equivalent to the notion of the\ $T_0$\ monotone-determined space\ \cite{EN2009}.\ We define the notion of upper,\ lower and convex powerspace of a directed space by the way of free algebras.\ We show that the upper,\ lower and convex powerspace over any directed space exist and give their concrete structures.\ Generally,\ the upper,\ lower and convex powerspaces of a directed spaces are different from the upper,\ lower and convex powerdomains of a dcpos endowed with the Scott topology and the observationally-induced upper and lower powerspaces introduced by Battenfeld and Schöder in 2015. Keywords: powerdomain,\ directed lower powerspace of directed spaces,\ directed upper powerspace of directed spaces,\ directed convex powerspace of directed spaces,\ observationally-induced lower powerspace,\ observationally-induced lower powerspace

math.GN↗