Quantales and continuity spaces

  title={Quantales and continuity spaces},
  author={Robert C. Flagg},
  journal={algebra universalis},
  • R. Flagg
  • Published 1 June 1997
  • Mathematics
  • algebra universalis
The theory of metric spaces provides an elementary introduction to topology and unifies many branches of classical analysis. Using it, the intuitive notions of continuity, limit and Cauchy sequence can be developed in a very general setting. Moreover, since metric techniques are frequently much more powerful than topological ones, they make possible simpler and more elegant solutions to many problems. Unfortunately, not all topological spaces are metrizable, so these powerful techniques have… 

Generalized ultrametric spaces in quantitative domain theory

Many Familiar Categories can be Interpreted as Categories of Generalized Metric Spaces

  • J. Heitzig
  • Mathematics
    Appl. Categorical Struct.
  • 2002
It is shown how some natural distance functions on various mathematical objects lead to concrete embeddings of the following categories into the resulting category DIST°: quasi-pseudo-metric, topological, and (quasi-)uniform spaces with various kinds of maps.

The local triangle axiom in topology and domain theory

We introduce a general notion of distance in weakly separated topological spaces. Our approach differs from existing ones since we do not assume the reflexivity axiom in general. We demonstrate that

On the Yoneda completion of a quasi-metric space

On Domain Theory over Girard Quantales

This paper demonstrates that the domain-theoretic construction of the Hoare, Smyth and Plotkin powerdomains of a continuous dcpo can be straightforwardly adapted to yield corresponding constructions for continuous Q-domains.

Enriched Categories and Quasi-uniform Spaces

  • V. Schmitt
  • Mathematics
    Electron. Notes Theor. Comput. Sci.
  • 2004

Quantales, Generalised Premetrics and Free Locales

An extension Pre↪P together with a faithful and surjective on objects left adjoint functor P→Top as an extension of Pre→Top is illustrated, showing this represents an optimal scenario given that Pre→ topological space preserves coproducts only.



A Compendium of Continuous Lattices

O. A Primer of Complete Lattices.- 1. Generalities and notation.- 2. Complete lattices.- 3. Galois connections.- 4. Meet-continuous lattices.- I. Lattice Theory of Continuous Lattices.- 1. The

All topologies come from generalized metrics

RALPH KOPPERMAN: I received my Ph.D. from M.I.T. in 1965, and came to The City College in 1967. SEEK is a special program for students from poor areas of the city, and I have coordinated its