عنوان

A Compendium of Continuous Lattices

(Number (ISBN

3642676782

(Number (ISBN

9783642676789

Number

b572572

Title Proper

A Compendium of Continuous Lattices

General Material Designation

[Book]

First Statement of Responsibility

by Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott.

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer Berlin Heidelberg

Date of Publication, Distribution, etc.

1980

Specific Material Designation and Extent of Item

(XX, 371 p. :)

Text of Note

Bibliographic Level Mode of Issuance: Monograph.

Text of Note

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 "way-below" relation --; 2. The equational characterization --; 3. Irreducible elements --; 4. Algebraic lattices --; II. Topology of Continuous Lattices: The Scott Topology --; 1. The Scott topology --; 2. Scott-continuous functions --; 3. Injective spaces --; 4. Function spaces --; III. Topology of Continuous Lattices: The Lawson Topology --; 1. The Lawson topology --; 2. Meet-continuous lattices revisited --; 3. Lim-inf convergence --; 4. Bases and weights --; IV. Morphisms and Functors --; 1. Duality theory --; 2. Morphisms into chains --; 3. Projective limits and functors which preserve them --; 4. Fixed point construction for functors --; V. Spectral Theory of Continuous Lattices --; 1. The Lemma --; 2. Order generation and topological generation --; 3. Weak irreducibles and weakly prime elements --; 4. Sober spaces and complete lattices --; 5. Duality for continuous Heyting algebras --; VI. Compact Posets and Semilattices --; 1. Pospaces and topological semilattices --; 2. Compact topological semilattices --; 3. The fundamental theorem of compact semilattices --; 4. Some important examples --; 5. Chains in compact pospaces and semilattices --; VII. Topological Algebra and Lattice Theory: Applications --; 1. One-sided topological semilattices --; 2. Topological lattices --; 3. Compact pospaces and continuous Heyting algebras --; 4. Lattices with continuous Scott topology --; Listof Symbols --; List of Categories.

Text of Note

A mathematics book with six authors is perhaps a rare enough occurrence to make a reader ask how such a collaboration came about. We begin, therefore, with a few words on how we were brought to the subject over a ten-year period, during part of which time we did not all know each other. We do not intend to write here the history of continuous lattices but rather to explain our own personal involvement. History in a more proper sense is provided by the bibliography and the notes following the sections of the book, as well as by many remarks in the text. A coherent discussion of the content and motivation of the whole study is reserved for the introduction. In October of 1969 Dana Scott was lead by problems of semantics for computer languages to consider more closely partially ordered structures of function spaces. The idea of using partial orderings to correspond to spaces of partially defined functions and functionals had appeared several times earlier in recursive function theory; however, there had not been very sustained interest in structures of continuous functionals. These were the ones Scott saw that he needed. His first insight was to see that - in more modern terminology - the category of algebraic lattices and the (so-called) Scott-continuous functions is cartesian closed.

Algebra.

Mathematics.

Class number

Book number

by Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott.

Dana S Scott

Gerhard Gierz

Jimmie D Lawson

Karl Heinrich Hofmann

Klaus Keimel

Michael W Mislove

Electronic name

[Book]

Y