Continuity spaces: Reconciling domains and metric spaces

DOI10.1016/S0304-3975(97)00236-3zbMath0901.68109DBLPjournals/tcs/FlaggK97OpenAlexW2087031585WikidataQ56040409 ScholiaQ56040409MaRDI QIDQ1391864

Ralph Kopperman, Bob Flagg

Publication date: 23 July 1998

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

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

zbMATH Keywords

semantic domain

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (36)

Bounded complete models of topological spaces ⋮ A duality between \(\Omega\)-categories and algebraic \(\Omega\)-categories ⋮ Some corollaries of the correspondence between partial metrics and multivalued equalities ⋮ Representations of bornologies ⋮ Yoneda completeness and flat completeness of ordered fuzzy sets ⋮ Approximation, solution operators and quantale-valued metrics ⋮ Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding ⋮ Approaching metric domains ⋮ Injective spaces via adjunction ⋮ The order-theoretic duality and relations between partial metrics and local equalities ⋮ The scale of a quasi-uniform space ⋮ Some of Melvin Henriksen's contributions to spaces of ideals ⋮ Tameness in generalized metric structures ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A characterization of partial metrizability: Domains are quantifiable. ⋮ Fuzzy cut-stable map and its extension property1 ⋮ A quantified coalgebraic van Benthem theorem ⋮ Elements of generalized ultrametric domain theory ⋮ Complete and directed complete \(\Omega \)-categories ⋮ The limit–colimit coincidence theorem for -categories ⋮ A New Approach to Quantitative Domain Theory ⋮ Approximation in quantale-enriched categories ⋮ Unnamed Item ⋮ Closedness of the category of liminf complete fuzzy orders ⋮ Scott approach distance on metric spaces ⋮ A comparative study of ideals in fuzzy orders ⋮ Representing topologies using partially ordered semigroups ⋮ Some results on fuzzy \(Z_{L}\)-continuous(algebraic) poset ⋮ The formal ball model for -categories ⋮ Completions of partial metrics into value lattices ⋮ Extending set functors to generalised metric spaces ⋮ Fuzzy complete lattices ⋮ Similarity, topology, and uniformity ⋮ On the Yoneda completion of a quasi-metric space ⋮ Two Cartesian closed subcategories of fuzzy domains

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Domains arising as algebras for powerspace constructions
• Solving reflexive domain equations in a category of complete metric spaces
• Notions of computation and monads
• An application of open maps to categorical logic
• CPO's of measures for nondeterminism
• Semantics of probabilistic programs
• A general theory of structure spaces with applications to spaces of prime ideals
• C-complete quasi-uniform spaces
• Quantales and continuity spaces
• Asymmetry and duality in topology
• Constructing a quasi-uniform function space
• A metric for weak convergence of distribution functions
• All Topologies Come From Generalized Metrics
• Real-valued models with metric equality and uniformly continuous predicates
• Stable Compactification I
• Metric spaces, generalized logic, and closed categories
• Quantales, observational logic and process semantics
• Sobrification and bicompletion of totally bounded quasi-uniform spaces
• Processes and the denotational semantics of concurrency
• Completely Distributive Complete Lattices

This page was built for publication: Continuity spaces: Reconciling domains and metric spaces