# Quantales and continuity spaces

@article{Flagg1997QuantalesAC, title={Quantales and continuity spaces}, author={Robert C. Flagg}, journal={algebra universalis}, year={1997}, volume={37}, pages={257-276} }

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…

## 85 Citations

### Generalized ultrametric spaces in quantitative domain theory

- MathematicsTheor. Comput. Sci.
- 2006

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

- MathematicsAppl. 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

- Mathematics
- 2003

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 Domain Theory over Girard Quantales

- Computer ScienceFundam. Informaticae
- 2009

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.

### A generalized distance based on a generalized triangle inequality

- Mathematics, Computer ScienceInf. Sci.
- 2016

### Quantales, Generalised Premetrics and Free Locales

- MathematicsAppl. Categorical Struct.
- 2017

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.

## References

SHOWING 1-2 OF 2 REFERENCES

### A Compendium of Continuous Lattices

- Mathematics
- 1980

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

- Mathematics
- 1988

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…