Approaching metric domains
classification
🧮 math.GN
keywords
spacesapproachcontinuousinjectivelatticesmetricpreciselyscott
Add this Pith Number to your LaTeX paper
What is a Pith Number?\usepackage{pith}
\pithnumber{6TW5TYB3}
Prints a linked pith:6TW5TYB3 badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more
read the original abstract
In analogy to the situation for continuous lattices which were introduced by Dana Scott as precisely the injective T$_0$ spaces via the (nowadays called) Scott topology, we study those metric spaces which correspond to injective T$_0$ approach spaces and characterise them as precisely the continuous lattices equipped with an unitary and associative $[0,\infty]$-action. This result is achieved by a thorough analysis of the notion of cocompleteness for approach spaces.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.