MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Alexandroff and Scott topologies for generalized metric spaces (1996) [3 citations — 2 self]

Download:
Download as a PDF | Download as a PS
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