A note on profinite completions and canonical extensions
Gouveia, M. J.
Algebra Universalis, 64(1-2) (2010), 21-23
J. Harding has proved that the profinite limit of an algebra A in a finitely generated variety of monotone lattice expansions coincides with its canonical extension. In this note we drop the monotonicity of the additional operations and prove the same result.