Approaching metric domains
General Topology
2011-03-25 v1
Abstract
In analogy to the situation for continuous lattices which were introduced by Dana Scott as precisely the injective T spaces via the (nowadays called) Scott topology, we study those metric spaces which correspond to injective T approach spaces and characterise them as precisely the continuous lattices equipped with an unitary and associative -action. This result is achieved by a thorough analysis of the notion of cocompleteness for approach spaces.
Keywords
Cite
@article{arxiv.1103.4744,
title = {Approaching metric domains},
author = {Gonçalo Gutierres and Dirk Hofmann},
journal= {arXiv preprint arXiv:1103.4744},
year = {2011}
}