Local Yoneda completions of quasi-metric spaces

DOI10.1017/S0960129523000105MaRDI QIDQ6174092zbMATH OpenFDO

Authors Jing Lu, Bin Zhao

Publication date 13 July 2023

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

Full work available at URL https://doi.org/10.1017/S0960129523000105

zbMATH Keywords

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

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A computational model for metric spaces
• A few notes on formal balls
• Continuous Lattices and Domains
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• Embedding metric spaces into CPO's
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• scientific article; zbMATH DE number 4094358 (Why is no real title available?)
• scientific article; zbMATH DE number 2222240 (Why is no real title available?)
• 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
• Quasi-continuous Yoneda complete quasi-metric space
• The formal ball model for \(\mathcal Q\)-categories
• The space of formal balls and models of quasi-metric spaces
• Yoneda completion via a dcpo completion of its poset of formal balls

Cited in

(4)

• Quasi-continuous Yoneda complete quasi-metric space
• Local T2 extended pseudo-quasi-semi metric spaces
• On the closure of one point sets in T₀-spaces
• Notes on Smyth-completes and local Yoneda-completes

This page was built for publication: Local Yoneda completions of quasi-metric spaces

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