Generalized Ultrametric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding (1995)
| Citations: | 15 - 5 self |
BibTeX
@MISC{Bonsangue95generalizedultrametric,
author = {M.M. Bonsangue and F. van Breugel and J. J. M. M. Rutten},
title = {Generalized Ultrametric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding},
year = {1995}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Generalized ultrametric spaces are a common generalization of preorders and ordinary ultrametric spaces (Lawvere 1973, Rutten 1995). Combining Lawvere's (1973) enrichedcategorical and Smyth' (1987, 1991) topological view on generalized (ultra)metric spaces, it is shown how to construct 1. completion, 2. topology, and 3. powerdomains for generalized ultrametric spaces. Restricted to the special cases of preorders and ordinary ultrametric spaces, these constructions yield, respectively: 1. chain completion and Cauchy completion; 2. the Alexandroff and the Scott topology, and the ffl-ball topology; 3. lower, upper, and convex powerdomains, and the powerdomain of compact subsets. Interestingly, all constructions are formulated in terms of (an ultrametric version of) the Yoneda (1954) lemma.
