## With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

No credit card required

7.4 A weak form of completeness: Yoneda-completeness

Another notion of completeness was proposed by Bonsangue et al. (1998). This has come to be known in the literature as Yoneda-completeness. We shall see that this notion of completeness also has a natural characterization in terms of formal balls.

Definition 7.4.1 (Yoneda-complete) A hemi-metric space X, d is Yoneda-complete if and only if d is T0 and every Cauchy net in X, d has a d-limit.

The definition of Smyth-complete spaces was the same, except that we required every Cauchy net to have a dop-limit, not a d-limit.

Lemma 7.4.2 (Smyth ⇒ Yoneda-complete) Every Smyth-complete quasi-metric space is Yoneda-complete.

Proof In a Smyth-complete quasi-metric space, every Cauchy net has a limit in ...

## With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

No credit card required