arXiv Analytics

Sign in

arXiv:1911.07089 [math.GN]AbstractReferencesReviewsResources

Distance Domains: Continuity

Tristan Bice

Published 2019-11-16Version 1

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.

Comments: This is a revised version of the second half of arXiv:1704.01024v1
Categories: math.GN
Subjects: 06A06, 18A35, 54E50, 54E55
Related articles: Most relevant | Search more
arXiv:1704.01024 [math.GN] (Published 2017-04-04)
Distance Domains
arXiv:2211.10631 [math.GN] (Published 2022-11-19)
Weakly meet $s_{Z}$-continuity and $δ_{Z}$-continuity
arXiv:2308.14544 [math.GN] (Published 2023-08-28)
Continuity up to a Covering and Connectedness

Links

Toolbox