The formal ball model for -categories

DOI10.1017/S0960129510000447zbMath1215.18005OpenAlexW2115832913MaRDI QIDQ3081322

Mateusz Kostanek, Paweł Waszkiewicz

Publication date: 7 March 2011

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

Full work available at URL: https://doi.org/10.1017/s0960129510000447

zbMATH Keywords

completenessquasi-metric space\(\mathcal Q\)-categoryball model

Mathematics Subject Classification ID

Complete metric spaces (54E50) Metric spaces, metrizability (54E35)

Related Items (17)

The monad on strong quasi-metric spaces ⋮ Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions ⋮ Quantale-valued preorders: globalization and cocompleteness. ⋮ Completely distributive enriched categories are not always continuous ⋮ Formal balls of Q-categories ⋮ Quasi-continuous Yoneda complete quasi-metric space ⋮ Distance domains: continuity ⋮ Yoneda completeness and flat completeness of ordered fuzzy sets ⋮ Approaching metric domains ⋮ On presheaf submonads of quantale-enriched categories ⋮ Local Yoneda completions of quasi-metric spaces ⋮ Yoneda completeness ⋮ A duality of generalized metric spaces ⋮ A duality of quantale-enriched categories ⋮ Formal balls in fuzzy quasi-metric spaces ⋮ Yoneda completion via a dcpo completion of its poset of formal balls ⋮ Scott approach distance on metric spaces

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)

This page was built for publication: The formal ball model for -categories