scientific article; zbMATH DE number 2222240
From MaRDI portal
Publication:5701012
Recommendations
Cited in
(54)- The connected Vietoris powerlocale
- Problems, solutions, and completions
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- On the Yoneda completion of a quasi-metric space
- Sober metric approach spaces
- Quantales, generalised premetrics and free locales
- Yoneda completion via a dcpo completion of its poset of formal balls
- Scott approach distance on metric spaces
- On the geometry of metric sites
- A comparative study of ideals in fuzzy orders
- The monad on strong quasi-metric spaces
- Continuous triangular norm based fuzzy topology
- Yoneda completeness and flat completeness of ordered fuzzy sets
- Complete and directed complete -categories
- Uniform structures in the beginning of the third millenium
- Localic metric spaces and the localic Gelfand duality
- A duality between \(\Omega\)-categories and algebraic \(\Omega\)-categories
- Quantale-valued preorders: globalization and cocompleteness.
- Tight spans, Isbell completions and semi-tropical modules
- A point-free characterisation of Bishop locally compact metric spaces
- Continuous generalized partial metric spaces
- Metric representations of categories of closure spaces
- The formal ball model for \(\mathcal Q\)-categories
- Localic completion of generalized metric spaces. II: Powerlocales
- Metric complements of overt closed sets
- Towards measurable types for dynamical process modeling languages
- The limit–colimit coincidence theorem for -categories
- Approaching metric domains
- scientific article; zbMATH DE number 2068347 (Why is no real title available?)
- Convergence and quantale-enriched categories
- A duality of quantale-enriched categories
- Cauchy Points of Metric Locales
- Point-free construction of real exponentiation
- The localic compact interval is an Escardó-Simpson interval object
- Formally continuous functions on Baire space
- Fibrations of AU-contexts Beget fibrations of toposes
- Approximation in quantale-enriched categories
- Localic completion of uniform spaces
- Formal continuity implies uniform continuity near compact images on metric spaces
- Resolution of the uniform lower bound problem in constructive analysis
- A localic theory of lower and upper integrals
- On the logic of generalised metric spaces
- scientific article; zbMATH DE number 7646807 (Why is no real title available?)
- Formal balls of Q-categories
- Local Yoneda completions of quasi-metric spaces
- Locatedness and overt sublocales
- A duality of generalized metric spaces
- A theory of quantale-enriched dcpos and their topologization
- Sober topological spaces valued in a quantale
- Cauchy convergence in \(\mathcal{V}\)-normed categories
- A point-free look at Ostrowski's theorem and absolute values
- Closedness of the category of liminf complete fuzzy orders
- A constructive and functorial embedding of locally compact metric spaces into locales
- A double completion for an arbitrary \(T_0\)-quasi-metric space
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5701012)
