Commentary by Chris Pressey

This work is distributed under a CC-BY-ND-4.0 license, with the following explicit exception: the ratings may be freely used for any purpose with no limitations.

Order Theory

Introduction to Domain Theory

• rating: 1

.

Deriving Laws from Ordering Relations

• rating: 3

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.