Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains

DOI10.1016/J.TOPOL.2021.107885zbMath1478.54020OpenAlexW3205911098MaRDI QIDQ2052570

Jean Goubault-Larrecq

Publication date: 26 November 2021

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-03383036/file/distpdom5.pdf

zbMATH Keywords

hyperspaceprevisionquasi-metricKantorovich-Rubinstein quasi-metricpowerdomain (Hoare, Smyth)Vietoris topology (lower, upper)

Mathematics Subject Classification ID

Topological spaces with richer structures (54E99) Applications of general topology to computer science (e.g., digital topology, image processing) (54H30)

Related Items (2)

Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks ⋮ Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions

Cites Work

• Unnamed Item
• Unnamed Item
• Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• A computational model for metric spaces
• Embedding metric spaces into CPO's
• Properly injective spaces and function spaces
• Domain-complete and LCS-complete spaces
• Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces
• Formal ball monads
• Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations
• Continuous Previsions
• A Few Notes on Formal Balls
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory

This page was built for publication: Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains