Distance domains: completeness

MaRDI QIDQ4967813zbMATH OpenFDO

Authors Tristan Bice

Publication date 11 July 2019

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

zbMATH Keywords

completenessdistancedomainhemimetricorderquasimetrictopology

Mathematics Subject Classification ID

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

Abstract: We explore extensions of domain theoretic concepts, replacing transitive relations with general non-symmetric distances. These lead to a generalization of Smyth completeness which we characterize in various ways analogous to our previous Yoneda completeness characterizations.

Recommendations

• Yoneda completeness
• Distance domains: continuity
• Fundamentals of Computation Theory
• Distance and measurement in domain theory
• SMYTH COMPLETENESS IN TERMS OF NETS: THE GENERAL CASE

Cites work

• \(C^*\)-algebra distance filters
• A duality of quantale-enriched categories
• Approximation in quantale-enriched categories
• Continuous Lattices and Domains
• Fuzzy \(Z\)-continuous posets
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• scientific article; zbMATH DE number 19038 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• Liminf convergence in \(\Omega\)-categories
• Metric spaces, generalized logic, and closed categories
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• On the Yoneda completion of a quasi-metric space
• The Cuntz semigroup and domain theory
• Yoneda completeness

Cited in

(5)

• \(C^*\)-algebra distance filters
• Locally Hausdorff tight groupoids generalised
• Yoneda completeness
• Fundamentals of Computation Theory
• Distance domains: continuity

This page was built for publication: Distance domains: completeness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4967813)