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 MIZAR articles
• Bibliography
• The CCL-book--WAYBEL correspondence
• About this document ...