Esakia duality

Esakia duality is a correspondence between two categories: the category of certain topological spaces (specifically, spatial modal algebras) and the category of certain algebraic structures known as frame homomorphisms. This duality is named after the mathematician Z. Esakia, who developed the theory in the context of modal logic and topological semantics.