Distance Domains: Completeness

zbMath1468.06015arXiv1704.01024MaRDI QIDQ4967813

Tristan Bice

Publication date: 11 July 2019

Full work available at URL: https://arxiv.org/abs/1704.01024

zbMATH Keywords

completenessdistanceordertopologydomainquasimetrichemimetric

Mathematics Subject Classification ID

Complete metric spaces (54E50) Continuous lattices and posets, applications (06B35) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)

Related Items (3)

Distance domains: continuity ⋮ \(C^*\)-algebra distance filters ⋮ Locally Hausdorff tight groupoids generalised

Cites Work

• Unnamed Item
• Unnamed Item
• A duality of quantale-enriched categories
• Approximation in quantale-enriched categories
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Liminf convergence in \(\Omega\)-categories
• On the Yoneda completion of a quasi-metric space
• \(C^*\)-algebra distance filters
• The Cuntz semigroup and domain theory
• Fuzzy \(Z\)-continuous posets
• Metric spaces, generalized logic, and closed categories
• Yoneda completeness
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory

This page was built for publication: Distance Domains: Completeness