Distance Domains: Continuity
General Topology
2020-09-18 v2
Abstract
We take the abstract basis approach to classical domain theory and extend it to quantitative domains. In doing so, we provide dual characterisations of distance domains (some new even in the classical case) as well as unifying and extending previous formal ball dualities, namely the Kostanek-Waszkiewicz and Romaguero-Valero theorems. In passing, we also characterise hemimetric spaces that admit a hemimetric Smyth completion.
Keywords
Cite
@article{arxiv.1911.07089,
title = {Distance Domains: Continuity},
author = {Tristan Bice},
journal= {arXiv preprint arXiv:1911.07089},
year = {2020}
}
Comments
This is a revised version of the second half of arXiv:1704.01024v1