Local Yoneda completions of quasi-metric spaces

DOI10.1017/s0960129523000105MaRDI QIDQ6174092

Jing Lu, Bin Zhao

Publication date: 13 July 2023

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

quasi-metric space\(g\)-topologylocal Yoneda-complete quasi-metric space

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• A computational model for metric spaces
• Embedding metric spaces into CPO's
• On the Yoneda completion of a quasi-metric space
• Yoneda completion via a dcpo completion of its poset of formal balls
• Quasi-continuous Yoneda complete quasi-metric space
• The formal ball model for -categories
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• The space of formal balls and models of quasi-metric spaces
• Metric spaces, generalized logic, and closed categories
• A Few Notes on Formal Balls
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory