Continuous Lattices and Domains

Front Cover
Cambridge University Press, Mar 6, 2003 - Mathematics - 591 pages
0 Reviews
Reviews aren't verified, but Google checks for and removes fake content when it's identified
Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. The authors develop the mathematical foundations of partially ordered sets with completeness properties of various degrees, in particular directed complete ordered sets and complete lattices. Uniquely, they focus on partially ordered sets that have an extra order relation, modelling the notion that one element 'finitely approximates' another, something closely related to intrinsic topologies linking order and topology. Extensive use is made of topological ideas, both by defining useful topologies on the structures themselves and by developing close connections with numerous aspects of topology. The theory so developed not only has applications to computer science but also within mathematics to such areas as analysis, the spectral theory of algebras and the theory of computability. This authoritative, comprehensive account of the subject will be essential for all those working in the area.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

A Primer on Ordered Sets and Lattices
1
Exercises
7
The Scott Topology
131
The Lawson Topology
208
Morphisms and Functors
264
Functors
318
Spectral Theory of Continuous Lattices
394
Compact Posets and Semilattices
439
Applications
492
Exercises
521
Articles
528
Dissertations and Masters Theses
559
List of Symbols
568
Index
575
Copyright

Common terms and phrases

Popular passages

Page 538 - PJ Freyd. Algebraically complete categories. In A. Carboni, MC Pedicchio, and G. Rosolini, editors, Category Theory, volume 1488 of Lecture Notes in Mathematics, pages 131-156.
Page 538 - In Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science, pages 268-279.

Bibliographic information