Pages that link to "Item:Q1605178"
From MaRDI portal
The following pages link to On the Yoneda completion of a quasi-metric space (Q1605178):
Displaying 42 items.
- A characterization of Smyth complete quasi-metric spaces via Caristi's fixed point theorem (Q288181) (← links)
- Geodesics in asymmetric metric spaces (Q483937) (← links)
- The bicompletion of fuzzy quasi-metric spaces (Q533143) (← links)
- Approximation in quantale-enriched categories (Q536049) (← links)
- The complexity probabilistic quasi-metric space (Q624638) (← links)
- A duality of generalized metric spaces (Q645202) (← links)
- Closedness of the category of liminf complete fuzzy orders (Q723220) (← links)
- Distance domains: continuity (Q831143) (← links)
- A double completion for an arbitrary \(T_0\)-quasi-metric space (Q941440) (← links)
- Static space-times naturally lead to quasi-pseudometrics (Q949615) (← links)
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding (Q1127524) (← links)
- Sequence spaces and asymmetric norms in the theory of computational complexity. (Q1410069) (← links)
- A characterization of partial metrizability: Domains are quantifiable. (Q1427788) (← links)
- Sober metric approach spaces (Q1680134) (← links)
- The relationships between KM-fuzzy quasi-metric spaces and the associated posets of formal balls (Q1744451) (← links)
- Yoneda completion via a dcpo completion of its poset of formal balls (Q1744459) (← links)
- Scott approach distance on metric spaces (Q1794283) (← links)
- Completeness of hyperspaces of compact subsets of quasi-metric spaces (Q1945259) (← links)
- A comparative study of ideals in fuzzy orders (Q2041246) (← links)
- The monad on strong quasi-metric spaces (Q2120964) (← links)
- Quasi-continuous Yoneda complete quasi-metric space (Q2130612) (← links)
- Fixed points of Proinov type multivalued mappings on quasimetric spaces (Q2158455) (← links)
- Completion of continuity spaces with uniformly vanishing asymmetry (Q2253728) (← links)
- On fixed point theory in partially ordered sets and an application to asymptotic complexity of algorithms (Q2331702) (← links)
- Yoneda completeness and flat completeness of ordered fuzzy sets (Q2398037) (← links)
- A solution to the completion problem for quasi-pseudometric spaces (Q2448818) (← links)
- Complete and directed complete \(\Omega \)-categories (Q2464932) (← links)
- Uniform structures in the beginning of the third millenium (Q2643074) (← links)
- The supremum asymmetric norm on sequence algebras: a general framework to measure complexity distances (Q2843617) (← links)
- The formal ball model for -categories (Q3081322) (← links)
- Domain theoretic characterisations of quasi-metric completeness in terms of formal balls (Q3564344) (← links)
- The space of formal balls and models of quasi-metric spaces (Q3625677) (← links)
- A quantitative computational model for complete partial metric spaces via formal balls (Q3636910) (← links)
- New fixed point results in partial quasi-metric spaces (Q4600867) (← links)
- Yoneda completeness (Q4606702) (← links)
- Bicompletions of Distance Matrices (Q4922088) (← links)
- Distance Domains: Completeness (Q4967813) (← links)
- Qualitative versus quantitative fixed point techniques in computer science (Q5236147) (← links)
- Simulation Hemi-metrics between Infinite-State Stochastic Games (Q5458350) (← links)
- Formal balls of Q-categories (Q5889203) (← links)
- Completeness in quasi-uniform spaces (Q5892658) (← links)
- Local Yoneda completions of quasi-metric spaces (Q6174092) (← links)
