Pages that link to "Item:Q1295210"
From MaRDI portal
The following pages link to Weighted colimits and formal balls in generalized metric spaces (Q1295210):
Displaying 24 items.
- Quantale-valued preorders: globalization and cocompleteness. (Q277350) (← links)
- Common fixed-point results for nonlinear contractions in ordered partial metric spaces (Q359765) (← links)
- Approaching metric domains (Q395665) (← links)
- Approximation in quantale-enriched categories (Q536049) (← links)
- An application of a representation theorem for fuzzy metrics to domain theory (Q679766) (← links)
- Generalized ultrametric spaces in quantitative domain theory (Q859838) (← links)
- Fuzzy complete lattices (Q1040912) (← links)
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding (Q1127524) (← links)
- A general construction of hyperuniverses (Q1351794) (← links)
- Sober metric approach spaces (Q1680134) (← links)
- Scott approach distance on metric spaces (Q1794283) (← links)
- A comparative study of ideals in fuzzy orders (Q2041246) (← links)
- Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions (Q2121601) (← links)
- Yoneda completeness and flat completeness of ordered fuzzy sets (Q2398037) (← links)
- On the construction of domains of formal balls for uniform spaces (Q2447136) (← links)
- Complete and directed complete \(\Omega \)-categories (Q2464932) (← 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)
- A New Approach to Quantitative Domain Theory (Q4917050) (← links)
- Formal balls of Q-categories (Q5889203) (← links)
- Complete partial metric spaces have partially metrizable computational models (Q5891573) (← links)
- Complete partial metric spaces have partially metrizable computational models (Q5891574) (← links)