Continuity spaces: Reconciling domains and metric spaces
From MaRDI portal
Publication:1391864
DOI10.1016/S0304-3975(97)00236-3zbMath0901.68109OpenAlexW2087031585WikidataQ56040409 ScholiaQ56040409MaRDI QIDQ1391864
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
Related Items
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
