The formal ball model for -categories

DOI10.1017/S0960129510000447zbMath1215.18005MaRDI QIDQ3081322

Mateusz Kostanek, Paweł Waszkiewicz

Publication date: 7 March 2011

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

completeness; quasi-metric space; \(\mathcal Q\)-category; ball model

Mathematics Subject Classification ID

54E50: Complete metric spaces

54E35: Metric spaces, metrizability

Related Items

Yoneda completeness, Formal balls in fuzzy quasi-metric spaces, Completely distributive enriched categories are not always continuous, Quantale-valued preorders: globalization and cocompleteness., Approaching metric domains, A duality of quantale-enriched categories, A duality of generalized metric spaces, Distance domains: continuity, Yoneda completion via a dcpo completion of its poset of formal balls, Scott approach distance on metric spaces, Yoneda completeness and flat completeness of ordered fuzzy sets

Cites Work

• Unnamed Item
• Unnamed Item
• Domain theory and integration
• Elements of generalized ultrametric domain theory
• Solving reflexive domain equations in a category of complete metric spaces
• Metric spaces and \(FS\)-domains
• The closure of a class of colimits
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• A computational model for metric spaces
• Quantales and continuity spaces
• Weighted colimits and formal balls in generalized metric spaces
• Computation on metric spaces via domain theory
• Continuity spaces: Reconciling domains and metric spaces
• Topological features of Lax algebras
• One setting for all: Metric, topology, uniformity, approach structure
• On the Yoneda completion of a quasi-metric space
• Metric, topology and multicategory -- a common approach
• Dynamical systems, measures, and fractals via domain theory
• Monads for which structures are adjoint to units
• Topological theories and closed objects
• Continuity in quantitative domains
• On the minimum monochromatic or multicolored subgraph partition problems
• The limit–colimit coincidence theorem for -categories
• The space of formal balls and models of quasi-metric spaces
• A quantitative computational model for complete partial metric spaces via formal balls
• Metric spaces, generalized logic, and closed categories
• Spaces of maximal points
• Domain theory and differential calculus (functions of one variable)