scientific article; zbMATH DE number 2222240
From MaRDI portal
Publication:5701012
zbMath1083.54019MaRDI QIDQ5701012
Publication date: 2 November 2005
Full work available at URL: https://eudml.org/doc/125719
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Complete metric spaces (54E50) Categorical logic, topoi (03G30) Frames, locales (06D22) Constructive real analysis (26E40) Enriched categories (over closed or monoidal categories) (18D20)
Related Items (38)
Localic metric spaces and the localic Gelfand duality ⋮ The monad on strong quasi-metric spaces ⋮ A duality between \(\Omega\)-categories and algebraic \(\Omega\)-categories ⋮ Quantale-valued preorders: globalization and cocompleteness. ⋮ Formal balls of Q-categories ⋮ Metric complements of overt closed sets ⋮ Towards Measurable Types for Dynamical Process Modeling Languages ⋮ Uniform structures in the beginning of the third millenium ⋮ Yoneda completeness and flat completeness of ordered fuzzy sets ⋮ A constructive and functorial embedding of locally compact metric spaces into locales ⋮ Sober metric approach spaces ⋮ Approaching metric domains ⋮ The localic compact interval is an Escardó‐Simpson interval object ⋮ Formally continuous functions on Baire space ⋮ Unnamed Item ⋮ Local Yoneda completions of quasi-metric spaces ⋮ Locatedness and overt sublocales ⋮ A duality of quantale-enriched categories ⋮ A point-free characterisation of Bishop locally compact metric spaces ⋮ A double completion for an arbitrary \(T_0\)-quasi-metric space ⋮ Complete and directed complete \(\Omega \)-categories ⋮ The limit–colimit coincidence theorem for -categories ⋮ Yoneda completion via a dcpo completion of its poset of formal balls ⋮ Formal continuity implies uniform continuity near compact images on metric spaces ⋮ Convergence and quantale-enriched categories ⋮ Approximation in quantale-enriched categories ⋮ On the Logic of Generalised Metric Spaces ⋮ Fibrations of AU-contexts beget fibrations of toposes ⋮ Continuous triangular norm based fuzzy topology ⋮ Closedness of the category of liminf complete fuzzy orders ⋮ Resolution of the uniform lower bound problem in constructive analysis ⋮ A localic theory of lower and upper integrals ⋮ Unnamed Item ⋮ Scott approach distance on metric spaces ⋮ A comparative study of ideals in fuzzy orders ⋮ The formal ball model for -categories ⋮ The connected Vietoris powerlocale ⋮ Problems, solutions, and completions
This page was built for publication:
