TL;DR
This paper characterizes Yoneda completeness in non-symmetric distances by combining metric and directed completeness, extending existing theorems to a broader context.
Contribution
It introduces a new characterization of Yoneda completeness that unifies metric and directed completeness, generalizing the Kostanek-Waszkiewicz theorem.
Findings
Yoneda completeness characterized for non-symmetric distances
Extension of Kostanek-Waszkiewicz theorem on formal balls
Unified framework for metric and directed completeness
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.