Yoneda completeness

DOI10.1017/S0960129517000032zbMath1392.54025arXiv1503.03147OpenAlexW3037708504MaRDI QIDQ4606702

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)

Related Items (2)

Distance domains: continuity ⋮ Distance Domains: Completeness

Cites Work

• Unnamed Item
• Unnamed Item
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Liminf convergence in \(\Omega\)-categories
• On the Yoneda completion of a quasi-metric space
• Complications of semicontinuity in \(C^*\)-algebra theory
• Type decomposition in posets
• The formal ball model for -categories
• Semicontinuity and Multipliers of C*-Algebras
• Non-Hausdorff Topology and Domain Theory

This page was built for publication: Yoneda completeness