A view of canonical extension

This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions of lattices with additional operations in finitely generated varieties are given. In particular, they are doubly algebraic lattices and their interval topologies agree with their double Scott topologies and make them Priestley topological algebras.

💡 Research Summary

The paper provides a concise yet comprehensive overview of the theory of canonical extensions, focusing on lattices equipped with additional operations that belong to finitely generated varieties. After recalling the basic definition, a canonical extension of a lattice L is described as a complete lattice Lδ that contains L via an embedding preserving all existing joins and meets, and satisfying two crucial conditions: density (every element of Lδ can be approximated arbitrarily closely by joins of elements of L and by meets of elements of L) and compactness (any join or meet in Lδ can be witnessed by a finite subset of L). These conditions guarantee that the extension does not distort the original order structure while endowing it with full completeness.

The authors then turn to the interaction between canonical extensions and algebraic operations. If an operation on L is completely join‑preserving or completely meet‑preserving, the embedding of L into Lδ extends the operation uniquely to Lδ, preserving its algebraic behaviour. This preservation is especially robust in finitely generated varieties, where the defining equations involve only finitely many operation symbols. Consequently, the canonical extension of an algebra in such a variety is again an algebra of the same type, with the same equational theory, but now living in a complete lattice.

A central technical contribution of the paper is the identification of a “doubly algebraic” property of canonical extensions in these settings. A lattice is algebraic when every element is a directed join of compact (finite) elements; it is doubly algebraic when the same holds dually for meets. The authors prove that for any lattice belonging to a finitely generated variety, its canonical extension is automatically doubly algebraic. In other words, both the join‑compact and meet‑compact bases exist simultaneously, and they are generated by the compact elements of the original lattice. This result shows that canonical extensions do not increase the combinatorial complexity of the structure; rather, they provide a symmetric, well‑behaved completion.

The topological dimension of the theory is explored through the lens of Scott topologies. In a complete lattice there are two natural Scott topologies: the join‑Scott topology (generated by upward‑closed sets that are inaccessible by directed joins) and the meet‑Scott topology (the dual). For a general complete lattice these topologies differ, but the paper demonstrates that when the lattice is doubly algebraic, the two Scott topologies coincide. Moreover, they coincide with the interval topology generated by the order intervals. This triple coincidence implies that the canonical extension carries a natural Priestley topology, making it a Priestley topological algebra: a compact, totally order‑disconnected space whose order and topology are compatible.

Putting these pieces together, the paper establishes three intertwined properties of canonical extensions in finitely generated varieties: (1) preservation of all algebraic operations, (2) automatic doubly algebraic structure, and (3) coincidence of interval, join‑Scott, and meet‑Scott topologies, yielding a Priestley topological algebra. These results have several important implications. First, they provide a uniform method for constructing complete, well‑behaved models of logics whose algebraic semantics are given by such varieties (e.g., modal, intuitionistic, or substructural logics). Second, the topological coincidence simplifies duality theory: the dual Priestley space can be described either via order‑intervals or via Scott‑open sets, facilitating representation theorems. Third, the double algebraicity ensures that computational aspects—such as approximating elements by finite joins/meets—remain tractable.

In summary, the paper not only surveys the essential aspects of canonical extensions but also contributes new topological insights, showing that in the context of finitely generated varieties the extensions are doubly algebraic lattices whose natural interval topology aligns perfectly with both Scott topologies. This alignment turns the canonical extension into a Priestley topological algebra, thereby unifying order‑theoretic, algebraic, and topological perspectives and opening the way for further applications in logic, domain theory, and algebraic topology.