Next:
Introduction
Up:
02jar
Previous:
02jar
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
Putting together order and topology
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
About this document ...
Grzegorz Bancerek 2002-07-25