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

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 (66)

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 ⋮ Hadamard well-posedness for a set optimization problem with an infinite number of constraints ⋮ 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