Comparison of MacNeille, Canonical, and Profinite Completions
Guram Bezhanishvili, Jacob Vosmaer · Order · 2008
Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and profinite completions of distributive lattices, Heyting algebras, and Boolean algebras to be isomorphic.