Extendible spaces

M.P. Schellekens

Abstract

The domain theoretic notion of lifting allows one to extend a partial order in a trivial way by a minimum. In the context of Quantitative Domain Theory partial orders are represented as quasi-metric spaces. For such spaces, the notion of the extension by an extremal element turns out to be non trivial.

To some extent motivated  by these considerations, we characterize the directed quasi-metric spaces extendible by an extremum. The  class is shown to include the S-completable directef quasi-metric spaces. As an application of this result, we show that for the case of the invariant quasi-metric (semi)lattices, weightedness can be characterized by order convexity with the extension property.


Keywords

Quasi-metric; Directed space; Extension

Full Text:

PDF

Abstract Views

783
Metrics Loading ...

Metrics powered by PLOS ALM




Esta revista se publica bajo una licencia de Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional.

Universitat Politècnica de València

e-ISSN: 1989-4147   https://doi.org/10.4995/agt