The following pages link to (Q5701012):
Displaying 38 items.
- Localic metric spaces and the localic Gelfand duality (Q266141) (← links)
- A duality between \(\Omega\)-categories and algebraic \(\Omega\)-categories (Q276411) (← links)
- Quantale-valued preorders: globalization and cocompleteness. (Q277350) (← links)
- Approaching metric domains (Q395665) (← links)
- A duality of quantale-enriched categories (Q456860) (← links)
- Approximation in quantale-enriched categories (Q536049) (← links)
- Locatedness and overt sublocales (Q638474) (← links)
- Closedness of the category of liminf complete fuzzy orders (Q723220) (← links)
- A constructive and functorial embedding of locally compact metric spaces into locales (Q881455) (← links)
- A double completion for an arbitrary \(T_0\)-quasi-metric space (Q941440) (← links)
- The connected Vietoris powerlocale (Q1030196) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- Sober metric approach spaces (Q1680134) (← links)
- Yoneda completion via a dcpo completion of its poset of formal balls (Q1744459) (← links)
- Scott approach distance on metric spaces (Q1794283) (← links)
- A comparative study of ideals in fuzzy orders (Q2041246) (← links)
- The monad on strong quasi-metric spaces (Q2120964) (← links)
- Continuous triangular norm based fuzzy topology (Q2274139) (← links)
- Yoneda completeness and flat completeness of ordered fuzzy sets (Q2398037) (← links)
- Complete and directed complete \(\Omega \)-categories (Q2464932) (← links)
- Uniform structures in the beginning of the third millenium (Q2643074) (← links)
- A point-free characterisation of Bishop locally compact metric spaces (Q2987776) (← links)
- The formal ball model for -categories (Q3081322) (← links)
- Metric complements of overt closed sets (Q3170557) (← links)
- Towards Measurable Types for Dynamical Process Modeling Languages (Q3178249) (← links)
- The limit–colimit coincidence theorem for -categories (Q3559972) (← links)
- Convergence and quantale-enriched categories (Q4553296) (← links)
- (Q5101348) (← links)
- The localic compact interval is an Escardó‐Simpson interval object (Q5108135) (← links)
- Formally continuous functions on Baire space (Q5109223) (← links)
- Fibrations of AU-contexts beget fibrations of toposes (Q5112051) (← links)
- Formal continuity implies uniform continuity near compact images on metric spaces (Q5404165) (← links)
- Resolution of the uniform lower bound problem in constructive analysis (Q5448617) (← links)
- A localic theory of lower and upper integrals (Q5448621) (← links)
- On the Logic of Generalised Metric Spaces (Q5739454) (← links)
- (Q5872365) (← links)
- Formal balls of Q-categories (Q5889203) (← links)
- Local Yoneda completions of quasi-metric spaces (Q6174092) (← links)
