Download:
|
by M. M. Bonsangue, F. Van Breugel, J. J. M. M. Rutten
Proceedings of the 11th Summer Conference on General Topology and Applications, Annals of the New York Academy of Sciences
http://www.cs.vu.nl/ftp/bonsangue/top_gms.ps.Z
Add To MetaCart
Abstract:
Generalized metric spaces are a common generalization of preorders and ordinary metric spaces. Every generalized metric space can be isometrically embedded in a complete function space by means of a metric version of the categorical Yoneda embedding. This simple fact gives naturally rise to: 1. a topology for generalized metric spaces which for arbitrary preorders corresponds to the Alexandroff topology and for ordinary metric spaces reduces to the ffl-ball topology; 2. a topology for algebraic generalized metric spaces generalizing both the Scott topology for algebraic complete partial orders and the ffl-ball topology for metric spaces.
Citations
|
200
|
Basic Concepts of Enriched Category Theory, volume 64
– Kelly
- 1982
|
|
162
|
The Formal Semantics of Programming Languages: An Introduction
– Winskel
- 1993
|
|
140
|
The categorytheoretic solution of recursive domain equations
– Smyth, Plotkin
- 1982
|
|
74
|
Metric spaces, generalized logic, and closed categories. Rendiconti del Seminario Matematico e Fisico di
– Lawvere
- 1973
|
|
49
|
Solving Reflexive Domain Equations in a Category of Complete Metric Spaces
– America, Rutten
- 1989
|
|
33
|
Quasi-uniformities: Reconciling domains with metric spaces
– Smyth
- 1988
|
|
33
|
Totally bounded spaces and compact ordered spaces as domainsof computation, Topology and Category Theory
– Smyth
|
|
31
|
Elements of Generalized Ultrametric Domain Theory
– Rutten
- 1996
|
|
29
|
Control Flow Semantics. Foundations of Computing Series
– Bakker, Vink
- 1996
|
|
19
|
General Topology, volume 6
– Engelking
- 1989
|
|
18
|
Continuity spaces: Reconciling domains and metric spaces
– Flagg, Kopperman
|
|
15
|
Generalized Ultrametric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding
– Bonsangue, Breugel, et al.
- 1995
|
|
15
|
The Metric Closure Powerspace Construction
– Kent
- 1987
|
|
13
|
Solving recursive domain equations with enriched categories
– Wagner
- 1994
|
|
9
|
Taking categories seriously
– Lawvere
- 1986
|
|
6
|
Topological Spaces for Cpos
– Melton
- 1989
|
|
4
|
The essence of ideal completion in quantitative form
– Flagg, Sunderhauf
- 1996
|
|
4
|
Liminf convergence in !-categories
– Wagner
- 1995
|
|
3
|
On the homology theory of modules
– Yoneda
- 1954
|