Institute for Logic, Language and Computation (ILLC)
University of Amsterdam
Abstract. In this tutorial I will discuss Stone, Priestley and Esakia dualities for Boolean algebras, distributive lattices and Heyting algebras, respectively. I will also give a few examples of applications of these dualities. In particular, I will show how to obtain a characterization of profinite Heyting algebras using these dualities.