Pages that link to "Item:Q1127524"
From MaRDI portal
The following pages link to Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding (Q1127524):
Displayed 28 items.
- A duality of quantale-enriched categories (Q456860) (← links)
- Approximation in quantale-enriched categories (Q536049) (← links)
- Injective spaces via adjunction (Q615891) (← links)
- A duality of generalized metric spaces (Q645202) (← links)
- Generalized ultrametric spaces in quantitative domain theory (Q859838) (← links)
- A double completion for an arbitrary \(T_0\)-quasi-metric space (Q941440) (← links)
- The change-base issue for \(\Omega\)-categories (Q943065) (← links)
- Implication structures, fuzzy subsets, and enriched categories (Q969578) (← links)
- On the categorical meaning of Hausdorff and Gromov distances. I. (Q972523) (← links)
- Lawvere completeness in topology (Q1022482) (← links)
- Fuzzy complete lattices (Q1040912) (← links)
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding (Q1127524) (← links)
- Weighted colimits and formal balls in generalized metric spaces (Q1295210) (← links)
- Quantitative semantics, topology, and possibility measures (Q1295211) (← links)
- Liminf convergence in \(\Omega\)-categories (Q1390934) (← links)
- A characterization of partial metrizability: Domains are quantifiable. (Q1427788) (← links)
- The essence of ideal completion in quantitative form (Q1605177) (← links)
- On the Yoneda completion of a quasi-metric space (Q1605178) (← links)
- The correspondence between partial metrics and semivaluations (Q1826629) (← links)
- Complete and directed complete \(\Omega \)-categories (Q2464932) (← links)
- The formal ball model for -categories (Q3081322) (← links)
- Fuzzy Galois connections categorically (Q3552389) (← links)
- The limit–colimit coincidence theorem for -categories (Q3559972) (← links)
- Predicate transformers for extended probability and non-determinism (Q3636909) (← links)
- UNIFORMITIES ON FREE SEMIGROUPS (Q4513307) (← links)
- UNIFORMITIES ON FREE SEMIGROUPS (Q4513308) (← links)
- Simulation Hemi-metrics between Infinite-State Stochastic Games (Q5458350) (← links)
- Completeness in quasi-uniform spaces (Q5892658) (← links)