Quasi-continuous Yoneda complete quasi-metric space

DOI10.1016/J.ENTCS.2019.07.024OpenAlexW2971700100WikidataQ113317440 ScholiaQ113317440MaRDI QIDQ2130612

Weng Kin Ho, Kok Min Ng

Publication date: 25 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2019.07.024

zbMATH Keywords

quasi-metriccontinuous quasi-metric spacequasi-continuous dcpoquasi-continuous domainYoneda complete

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (2)

Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations ⋮ Local Yoneda completions of quasi-metric spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quasicontinuous domains and the Smyth powerdomain
• Quasicontinuity of posets via Scott topology and sobrification
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• A computational model for metric spaces
• Embedding metric spaces into CPO's
• The formal ball model for -categories
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• The space of formal balls and models of quasi-metric spaces
• On Domain Theory over Girard Quantales
• Metric spaces, generalized logic, and closed categories
• A Few Notes on Formal Balls
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory

This page was built for publication: Quasi-continuous Yoneda complete quasi-metric space