Weighted colimits and formal balls in generalized metric spaces

DOI10.1016/S0166-8641(97)00224-1zbMath0982.54029MaRDI QIDQ1295210

Jan J. M. M. Rutten

Publication date: 11 April 2002

Published in: Topology and its Applications (Search for Journal in Brave)

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Theory of fuzzy sets, etc. (03E72) Enriched categories (over closed or monoidal categories) (18D20)

Related Items

Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions, Quantale-valued preorders: globalization and cocompleteness., Formal balls of Q-categories, A general construction of hyperuniverses, Generalized ultrametric spaces in quantitative domain theory, Yoneda completeness and flat completeness of ordered fuzzy sets, Common fixed-point results for nonlinear contractions in ordered partial metric spaces, Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding, Sober metric approach spaces, Approaching metric domains, On the construction of domains of formal balls for uniform spaces, Complete and directed complete \(\Omega \)-categories, An application of a representation theorem for fuzzy metrics to domain theory, Domain theoretic characterisations of quasi-metric completeness in terms of formal balls, A New Approach to Quantitative Domain Theory, Approximation in quantale-enriched categories, Scott approach distance on metric spaces, Complete partial metric spaces have partially metrizable computational models, Complete partial metric spaces have partially metrizable computational models, A comparative study of ideals in fuzzy orders, The space of formal balls and models of quasi-metric spaces, The formal ball model for -categories, A quantitative computational model for complete partial metric spaces via formal balls, Fuzzy complete lattices

Cites Work

• Elements of generalized ultrametric domain theory
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• A computational model for metric spaces
• Embedding metric spaces into CPO's
• Liminf convergence in \(\Omega\)-categories
• A notion of limit for enriched categories
• Metric spaces, generalized logic, and closed categories
• Spaces of maximal points
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item