Yoneda completion via a dcpo completion of its poset of formal balls
From MaRDI portal
Publication:1744459
DOI10.1016/J.ENTCS.2017.08.009zbMath1395.54021OpenAlexW2759255532WikidataQ113317584 ScholiaQ113317584MaRDI QIDQ1744459
Publication date: 23 April 2018
Full work available at URL: https://doi.org/10.1016/j.entcs.2017.08.009
Scott topologyquasi-metric spaceYoneda completiond-topologydcpo completiong-topologyposet of formal ballsYoneda completion quasi-metric spaceYoneda topology
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)
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