Next:
Contents
Contents
July 25, 2002
Contents
Introduction
Goals and Motivation
Logistics
The background material:
MML
and the
YELLOW
series
MML
Lattices in
MML
MML
revisions
The
YELLOW
series
Products
Moore-Smith convergence
Concrete categories
The main course: the
WAYBEL
series
Lattices
Galois connections
Continuous lattices
Algebraic lattices
Subset of compact elements
Additional notation
A generalization
Structure typed loci
Putting together order and topology
Lattices with topology
Products
Alexander's lemma
The Scott topology
The Lawson topology
Duality theory
The length of formal texts, costs
Some other statistics
Conclusions
A note on references to M
IZAR
articles
Bibliography
The
CCL
-book--
WAYBEL
correspondence
Chapter O. A Primer of Complete Lattices
Chapter I. Lattice Theory of Continuous Lattices
Chapter II. The Scott Topology
Chapter III. The Lawson Topology
About this document ...
Grzegorz Bancerek 2002-07-25
