A Few Notes on Formal Balls
From MaRDI portal
Publication:4596798
DOI10.23638/LMCS-13(4:18)2017zbMath1385.54009arXiv1606.05445MaRDI QIDQ4596798
Kok Min Ng, Jean Goubault-Larrecq
Publication date: 11 December 2017
Full work available at URL: https://arxiv.org/abs/1606.05445
Metric spaces, metrizability (54E35) Topological spaces with richer structures (54E99) Continuous lattices and posets, applications (06B35)
Related Items (11)
The monad on strong quasi-metric spaces ⋮ Formal balls of Q-categories ⋮ Domain-complete and LCS-complete spaces ⋮ Quasi-continuous Yoneda complete quasi-metric space ⋮ Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations ⋮ T-complete KM-fuzzy metric spaces via domain theory ⋮ Local Yoneda completions of quasi-metric spaces ⋮ Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks ⋮ Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces ⋮ Scott approach distance on metric spaces ⋮ Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains
This page was built for publication: A Few Notes on Formal Balls