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.

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).