Elements of generalized ultrametric domain theory
From MaRDI portal
Publication:672055
DOI10.1016/S0304-3975(96)80711-0zbMath0874.68189OpenAlexW4210279633MaRDI QIDQ672055
Publication date: 27 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(96)80711-0
limitCauchy sequenceadjoint pair between preordersgeneralized ultrametric spacesrecursive domain equations
Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55) Categorical methods in general topology (54B30) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20)
Related Items (47)
Categorical dualities between certain kinds of fuzzy posets ⋮ Generalized Scott topology on sets with families of pre-orders ⋮ A duality between \(\Omega\)-categories and algebraic \(\Omega\)-categories ⋮ A Note on Hyperspaces and Terminal Coalgebras ⋮ Scott convergence and fuzzy Scott topology on \(L\)-posets ⋮ Symbolic execution proofs for higher order store programs ⋮ Convergence and fixed points by fuzzy orders ⋮ Recursively defined metric spaces without contraction ⋮ Fuzzy bases of fuzzy domains ⋮ A characterisation of weightable quasi-metric generating functions ⋮ Lax distributive laws for topology, II ⋮ Continuity in quantitative domains ⋮ A non-frame valued Cartesian closed category of liminf complete fuzzy orders ⋮ The connection between initial and unique solutions of domain equations in the partial order and metric approach ⋮ The category-theoretic solution of recursive metric-space equations ⋮ Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding ⋮ A characterization of distance between 1-bounded compact ultrametric spaces through a universal space ⋮ Double controlled quasi metric-like spaces and some topological properties of this space ⋮ Divergences on monads for relational program logics ⋮ SOME FIXED POINT THEOREMS ⋮ Kernel systems on \(L\)-ordered sets ⋮ Unnamed Item ⋮ Generalized metrics and uniquely determined logic programs. ⋮ Elementary doctrines as coalgebras ⋮ Fuzzy cut-stable map and its extension property1 ⋮ Domain Equations Based on Sets with Families of Pre-orders ⋮ L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos ⋮ Complete and directed complete \(\Omega \)-categories ⋮ The limit–colimit coincidence theorem for -categories ⋮ Convergence and quantale-enriched categories ⋮ A New Approach to Quantitative Domain Theory ⋮ On the Logic of Generalised Metric Spaces ⋮ Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets ⋮ Quantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posets ⋮ Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types ⋮ Some results on fuzzy \(Z_{L}\)-continuous(algebraic) poset ⋮ The formal ball model for -categories ⋮ Extending set functors to generalised metric spaces ⋮ The Banaschewski compactification revisited ⋮ Fuzzy \(Z\)-continuous posets ⋮ Fuzzy complete lattices ⋮ Weighted colimits and formal balls in generalized metric spaces ⋮ Fixed point theory of cyclic operators ⋮ The essence of ideal completion in quantitative form ⋮ Two Cartesian closed subcategories of fuzzy domains ⋮ UNIFORMITIES ON FREE SEMIGROUPS ⋮ UNIFORMITIES ON FREE SEMIGROUPS
Cites Work
- Solving reflexive domain equations in a category of complete metric spaces
- Continuity spaces: Reconciling domains and metric spaces
- The Category-Theoretic Solution of Recursive Domain Equations
- A notion of limit for enriched categories
- Metric spaces, generalized logic, and closed categories
- A Powerdomain Construction
- On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
- 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: Elements of generalized ultrametric domain theory
