A view of canonical extension