
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.
This is a revised version of the second half of arXiv:1704.01024v1
continuous poset, abstract basis, topology, Smyth-complete, General Topology (math.GN), Yoneda-complete, 06A06, 18A35, 54E50, 54E55, distance domain, Continuous lattices and posets, applications, hemimetric, FOS: Mathematics, quasimetric, distance, Mathematics - General Topology
continuous poset, abstract basis, topology, Smyth-complete, General Topology (math.GN), Yoneda-complete, 06A06, 18A35, 54E50, 54E55, distance domain, Continuous lattices and posets, applications, hemimetric, FOS: Mathematics, quasimetric, distance, Mathematics - General Topology
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
