Yoneda Completeness
arXiv:1503.03147 · doi:10.1017/S0960129517000032
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.
arXiv commentThis consists of the relevant parts of sections 4 and 5 of the previous version (the other material will be developed separately)