Distance domains: continuity

DOI10.1016/j.tcs.2021.01.038zbMath1497.06006arXiv1911.07089OpenAlexW3128896848MaRDI QIDQ831143

Tristan Bice

Publication date: 10 May 2021

Published in: Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

topologycontinuous posetquasimetricabstract basisdistance domainhemimetricSmyth-completeYoneda-complete

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35)

Cites Work

• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Embedding metric spaces into CPO's
• Liminf convergence in \(\Omega\)-categories
• On the Yoneda completion of a quasi-metric space
• The Cuntz semigroup and domain theory
• The formal ball model for -categories
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• Yoneda completeness
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory
• Distance Domains: Completeness

This page was built for publication: Distance domains: continuity