Yoneda Completeness
General Topology
2019-11-19 v5 Functional Analysis
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.
Cite
@article{arxiv.1503.03147,
title = {Yoneda Completeness},
author = {Tristan Bice},
journal= {arXiv preprint arXiv:1503.03147},
year = {2019}
}
Comments
This consists of the relevant parts of sections 4 and 5 of the previous version (the other material will be developed separately)