Yoneda completeness

DOI10.1017/S0960129517000032zbMATH Open1392.54025arXiv1503.03147OpenAlexW3037708504MaRDI QIDQ4606702FDOQ4606702

Authors: Tristan Bice 

Publication date: 9 March 2018

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

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.

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

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

zbMATH Keywords

completenessformal ballsCauchy netYoneda completenessdirected completenessball topologieshole topologiesnon-symmetric distances

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Liminf convergence in \(\Omega\)-categories
• The formal ball model for \(\mathcal Q\)-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
• Complications of semicontinuity in \(C^*\)-algebra theory
• 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)