Canonical extensions, free completely distributive lattices, and complete retracts

Abstract

We provide a simple proof of a recent result of Morton and van Alten that the canonical extension of a bounded distributive lattice is its free completely distributive extension. We show that this can be used to easily obtain a number of results, both known and new.