Yoneda completion via a dcpo completion of its poset of formal balls

DOI10.1016/J.ENTCS.2017.08.009zbMath1395.54021OpenAlexW2759255532WikidataQ113317584 ScholiaQ113317584MaRDI QIDQ1744459

Weng Kin Ho, Kok Min Ng

Publication date: 23 April 2018

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

zbMATH Keywords

Scott topologyquasi-metric spaceYoneda completiond-topologydcpo completiong-topologyposet of formal ballsYoneda completion quasi-metric spaceYoneda topology

Mathematics Subject Classification ID

Complete metric spaces (54E50) Metric spaces, metrizability (54E35) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Continuous lattices and posets, applications (06B35)

Related Items (2)

The monad on strong quasi-metric spaces ⋮ Local Yoneda completions of quasi-metric spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dcpo-completion of posets
• D-completions and the \(d\)-topology
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• A computational model for metric spaces
• Embedding metric spaces into CPO's
• A characterization of partial metrizability: Domains are quantifiable.
• The essence of ideal completion in quantitative form
• On the Yoneda completion of a quasi-metric space
• Quantitative continuous domains
• 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
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory

This page was built for publication: Yoneda completion via a dcpo completion of its poset of formal balls