On the Yoneda completion of a quasi-metric space

DOI10.1016/S0304-3975(00)00335-2zbMath1025.54014MaRDI QIDQ1605178

Hans-Peter A. Künzi, Michel Schellekens

Publication date: 15 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

completionssemanticspartial ordersquasi-metric spacesSmyth completionYoneda completion

Mathematics Subject Classification ID

Complete metric spaces (54E50) Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55) Categorical methods in general topology (54B30) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35)

Related Items (40)

The monad on strong quasi-metric spaces ⋮ Formal balls of Q-categories ⋮ Distance domains: continuity ⋮ A characterization of Smyth complete quasi-metric spaces via Caristi's fixed point theorem ⋮ Distance Domains: Completeness ⋮ Uniform structures in the beginning of the third millenium ⋮ Fixed points of Proinov type multivalued mappings on quasimetric spaces ⋮ Yoneda completeness and flat completeness of ordered fuzzy sets ⋮ Sober metric approach spaces ⋮ The complexity probabilistic quasi-metric space ⋮ New fixed point results in partial quasi-metric spaces ⋮ Local Yoneda completions of quasi-metric spaces ⋮ Completeness of hyperspaces of compact subsets of quasi-metric spaces ⋮ Sequence spaces and asymmetric norms in the theory of computational complexity. ⋮ Yoneda completeness ⋮ A duality of generalized metric spaces ⋮ A characterization of partial metrizability: Domains are quantifiable. ⋮ A solution to the completion problem for quasi-pseudometric spaces ⋮ Completeness in quasi-uniform spaces ⋮ Geodesics in asymmetric metric spaces ⋮ A double completion for an arbitrary \(T_0\)-quasi-metric space ⋮ Complete and directed complete \(\Omega \)-categories ⋮ The relationships between KM-fuzzy quasi-metric spaces and the associated posets of formal balls ⋮ Yoneda completion via a dcpo completion of its poset of formal balls ⋮ Static space-times naturally lead to quasi-pseudometrics ⋮ Domain theoretic characterisations of quasi-metric completeness in terms of formal balls ⋮ Unnamed Item ⋮ Completion of continuity spaces with uniformly vanishing asymmetry ⋮ The bicompletion of fuzzy quasi-metric spaces ⋮ Approximation in quantale-enriched categories ⋮ Bicompletions of Distance Matrices ⋮ Closedness of the category of liminf complete fuzzy orders ⋮ Scott approach distance on metric spaces ⋮ A comparative study of ideals in fuzzy orders ⋮ Simulation Hemi-metrics between Infinite-State Stochastic Games ⋮ The space of formal balls and models of quasi-metric spaces ⋮ The formal ball model for -categories ⋮ A quantitative computational model for complete partial metric spaces via formal balls ⋮ Qualitative versus quantitative fixed point techniques in computer science ⋮ On fixed point theory in partially ordered sets and an application to asymptotic complexity of algorithms

Cites Work

• Semi-metrics, closure spaces and digital topology
• Solving functional equations at higher types; some examples and some theorems
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Chain-complete posets and directed sets with applications
• Completeness results for the equivalence of recursive schemas
• Quantales and continuity spaces
• Well-quasi-ordering and the Hausdorff quasi-uniformity
• Continuity spaces: Reconciling domains and metric spaces
• The essence of ideal completion in quantitative form
• Quasi-uniform completeness in terms of Cauchy nets
• Bitopological Spaces
• A Note on R. Stoltenberg's Completion Theory of Quasi-Uniform Spaces
• Metric spaces, generalized logic, and closed categories
• Partial Metric Topology
• Completeness of Quasi-Uniform and Syntopological Spaces
• SMYTH COMPLETENESS IN TERMS OF NETS: THE GENERAL CASE
• Some Properties of Quasi-Uniform Spaces
• A Completion for a Quasi Uniform Space
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the Yoneda completion of a quasi-metric space