5 papers · 1 filter
The reflective hull of the two-element chain in DCPO: properness, maximal Γ-faithfulness, and an internal reflection formula
Xulong He, Zhenchao Lyu, Yuxu Chen +1
Let \(\DCPO\) be the category of dcpos and Scott-continuous maps, and let \(\Rtwo\) be the reflective hull of the two-element chain \(2\). We prove that \(\Rtwo\) is the least non-…
FS-domains are not always RB-domains
Yuxu Chen, Hui Kou, Zhenchao Lyu
We prove that Lawson's planar closed-disk domain is not an RB-domain. This domain is the dcpo of all closed disks in the Euclidean plane, together with the whole plane as bottom, o…
Power structures of directed spaces
Xiaolin Xie, Yuxu Chen, Hui Kou
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 power…
The Directed Probabilistic Powerspace
Xiaolin Xie, Hui Kou, Zhenchao Lyu
Probabilistic powerdomain in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages with probabilistic choice. In this…
Two topologies on the lattice of Scott closed subsets
Yu Chen, Hui Kou, Zhenchao Lyu
For a poset , let and respectively denote the lattice of its Scott open subsets and Scott closed subsets ordered by inclusion, and set . In this paper…