Yoneda completeness

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

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

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 -categories
• Non-Hausdorff Topology and Domain Theory
• 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 (3)

• Distance domains: continuity
• On the Yoneda completion of a quasi-metric space
• Distance Domains: Completeness

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)