Distance Domains: Completeness
arXiv:1704.01024
Abstract
We explore extensions of domain theoretic concepts, replacing transitive relations with general non-symmetric distances. These lead to a generalization of Smyth completeness which we characterize in various ways analogous to our previous Yoneda completeness characterizations.
arXiv commentThis corresponds to the first half of the previous version, revised and now published. A revision of the second half will appear in a separate paper