Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding

DOI10.1016/S0304-3975(97)00042-XzbMath0997.54042OpenAlexW2001923225MaRDI QIDQ1127524

Jan J. M. M. Rutten, Marcello M. Bonsangue, Franck Van Breugel

Publication date: 13 August 1998

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00042-x

Mathematics Subject Classification ID

Related Items (65)

The monad on strong quasi-metric spaces ⋮ Ultra-quasi-metrically tight extensions of ultra-quasi-metric spaces ⋮ Completely distributive enriched categories are not always continuous ⋮ Quasi-continuous Yoneda complete quasi-metric space ⋮ Distance domains: continuity ⋮ Distance Domains: Completeness ⋮ Generalized ultrametric spaces in quantitative domain theory ⋮ Yoneda completeness and flat completeness of ordered fuzzy sets ⋮ On a theorem of Khan in a generalized metric space ⋮ Some fixed/coincidence point theorems under \((\psi, \varphi)\)-contractivity conditions without an underlying metric structure ⋮ Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations ⋮ Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding ⋮ Sober metric approach spaces ⋮ Liminf convergence in \(\Omega\)-categories ⋮ Approaching metric domains ⋮ The ultra-quasi-metrically injective hull of a \(T_0\)-ultra-quasi-metric space ⋮ Injective spaces via adjunction ⋮ Unnamed Item ⋮ On global well-posedness of semi-infinite set optimization problems ⋮ Local Yoneda completions of quasi-metric spaces ⋮ Completeness of hyperspaces of compact subsets of quasi-metric spaces ⋮ Yoneda completeness ⋮ A duality of generalized metric spaces ⋮ A duality of quantale-enriched categories ⋮ Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces ⋮ Unnamed Item ⋮ A characterization of partial metrizability: Domains are quantifiable. ⋮ A solution to the completion problem for quasi-pseudometric spaces ⋮ Completeness in quasi-uniform spaces ⋮ Fuzzy Galois connections categorically ⋮ A double completion for an arbitrary \(T_0\)-quasi-metric space ⋮ The change-base issue for \(\Omega\)-categories ⋮ Complete and directed complete \(\Omega \)-categories ⋮ The limit–colimit coincidence theorem for -categories ⋮ Yoneda completion via a dcpo completion of its poset of formal balls ⋮ Convergence and quantale-enriched categories ⋮ Weighted modal transition systems ⋮ A New Approach to Quantitative Domain Theory ⋮ Approximation in quantale-enriched categories ⋮ Bicompletions of Distance Matrices ⋮ Uniform Completion versus Ideal Completion of Posets with Projections ⋮ Implication structures, fuzzy subsets, and enriched categories ⋮ On the categorical meaning of Hausdorff and Gromov distances. I. ⋮ Continuous triangular norm based fuzzy topology ⋮ Closedness of the category of liminf complete fuzzy orders ⋮ Scott approach distance on metric spaces ⋮ The metric completion of outer space ⋮ A comparative study of ideals in fuzzy orders ⋮ Simulation Hemi-metrics between Infinite-State Stochastic Games ⋮ The formal ball model for -categories ⋮ Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains ⋮ Predicate transformers for extended probability and non-determinism ⋮ Lawvere completeness in topology ⋮ Formal ball monads ⋮ The correspondence between partial metrics and semivaluations ⋮ Tykhonov well-posedness for lexicographic equilibrium problems ⋮ Fuzzy complete lattices ⋮ Weighted colimits and formal balls in generalized metric spaces ⋮ Quantitative semantics, topology, and possibility measures ⋮ On Well-Posedness for Perturbed Quasi-Equilibrium and Quasi-Optimization Problems ⋮ Fixed point theorems for operators in generalized Kasahara spaces ⋮ The essence of ideal completion in quantitative form ⋮ On the Yoneda completion of a quasi-metric space ⋮ UNIFORMITIES ON FREE SEMIGROUPS ⋮ UNIFORMITIES ON FREE SEMIGROUPS

Cites Work

• Elements of generalized ultrametric domain theory
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Embedding metric spaces into CPO's
• Weighted colimits and formal balls in generalized metric spaces
• Continuity spaces: Reconciling domains and metric spaces
• Metric spaces, generalized logic, and closed categories
• Partial Metric Topology
• Topologies on Spaces of Subsets
• 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: Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding