PreprintarXiv licencearXiv
Probabilistic Powerdomains of Pointed FS-Domains are FS-Domains
Abstract
The Jung-Tix problem concerns the compatibility of probabilistic powerdomains with Cartesian closed categories of domains. We prove that both the subprobability and probability valuation powerdomains of every pointed FS-domain are FS-domains.
Related
- Derived category of moduli of pointed curves: II
- A diagrammatic presentation for every pivotal pointed fusion category
- On the Rank of Normal Functions on Pointed Curves
- Pointed Gromov-Hausdorff Distance between lp-Wedge Sums and Isometric Embeddings of l∞
- A Murphy's law for supports of forgetful maps between moduli spaces of stable pointed curves
BibTeX
@misc{xi2026probabilistic,
title = {{Probabilistic Powerdomains of Pointed FS-Domains are FS-Domains}},
author = {Xiaoyong Xi and Chong Shen and Dongsheng Zhao},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.25051},
eprint = {2610.25051},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.25051},
}
RIS
TY - UNPB
TI - Probabilistic Powerdomains of Pointed FS-Domains are FS-Domains
AU - Xiaoyong Xi
AU - Chong Shen
AU - Dongsheng Zhao
PY - 2026
DA - 2026/10/18
PB - arXiv
DO - 10.48550/arxiv.2610.25051
UR - https://arxiv.org/abs/2610.25051
AB - The Jung-Tix problem concerns the compatibility of probabilistic powerdomains with Cartesian closed categories of domains. We prove that both the subprobability and probability valuation powerdomains of every pointed FS-domain are FS-domains.
ER -