Generalized ultrametric spaces are a common generalization of preorders and ordinary ultrametric spaces (Lawvere 1973, Rutten 1995). Combining Lawvere''s (1973) enriched-categorical 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 epsilon-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.
Recommendations
Generalized fuzzy topology versus non-commutative topology
The paper introduces a modification of the notions of generalized fuzzy topological space of Demirci and quantal space of Mulvey and Pelletier, suitable to explore interrelations between point-set lattice-theoretic topology and non-commutative topology ...
Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces
Sierpinski space @W is injective in the category Top of topological spaces, but not in any of the larger cartesian closed categories Conv of convergence spaces and Equ of equilogical spaces. We show that this negative result extends to all sub-cccs of ...