Yoneda completeness

DOI10.1017/S0960129517000032MaRDI QIDQ4606702zbMATH OpenOpenAlexFDO

Authors Tristan Bice

Publication date 9 March 2018

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

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

zbMATH Keywords

completenessformal ballsCauchy netYoneda completenessdirected completenessball topologieshole topologiesnon-symmetric distances

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35)

Abstract: We characterize Yoneda completeness for non-symmetric distances by combinations of metric and directed completeness. One of these generalizes the Kostanek-Waszkiewicz theorem on formal balls.

Recommendations

• On the Yoneda completion of a quasi-metric space
• Yoneda completion via a dcpo completion of its poset of formal balls
• Distance domains: completeness
• Formal balls of Q-categories
• scientific article; zbMATH DE number 7267095

Cites work

• scientific article; zbMATH DE number 3647575 (Why is no real title available?)
• scientific article; zbMATH DE number 4094358 (Why is no real title available?)
• Complications of semicontinuity in C^*-algebra theory
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Liminf convergence in \(\Omega\)-categories
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• On the Yoneda completion of a quasi-metric space
• Semicontinuity and Multipliers of C*-Algebras
• The formal ball model for \(\mathcal Q\)-categories
• Type decomposition in posets

Cited in

(4)

• Distance domains: continuity
• Distance domains: completeness
• On the Yoneda completion of a quasi-metric space
• Yoneda completeness and flat completeness of ordered fuzzy sets

This page was built for publication: Yoneda completeness

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