The formal ball model for -categories
From MaRDI portal
Publication:3081322
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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