Canonical extensions of locally compact frames

Tomáš Jakl

Canonical extension of finitary ordered structures such as lattices, posets, proximity lattices, etc., is a certain completion which entirely describes the topological dual of the…