Commentary by cpressey on Order Theory works

Introduction to Domain Theory

.

Deriving Laws from Ordering Relations

The thesis seems to be that the fact that some things form a lattice induces some of the laws and equations surrounding those things. For example, you get Bayes' Theorem from the algebraic properties of implication a la Cox. This is difficult to comprehend fully, but fascinating.