The Galois Connection between Syntax and Semantics


Συγγραφέας: Peter Smith


Peter Smith: The Galois Connection between Syntax and Semantics (pdf, 33 pages)
Preface 1 Partially ordered sets 1.1 Posets introduced 1.2 Partial orders and strict orders 1.3 Maps between posets 1.4 Compounding maps 1.5 Order similarity 1.6 Inclusion posets as typical...