Fantastic post, I always enjoy reading about different computation mental models.

And under "A join is a…join", there's a typo in the partial order properties. It currently reads:

    1. Reflexivity: a≤b,

And I'm pretty sure it should be

    1. Reflexivity: a≤a,

instead (i.e., every element is ≤ to itself).