Grothendieck-like duality for Heyting algebras. (Q1771914)

A. Brezuleanu and R. Diaconescu established a sheaf duality theory for the category of bounded distributive lattices. Their ideas come from the well-known Grothendieck duality of commutative rings. The multipliers in lattice theory were used by J. Schmid in order to give a construction of the maximal lattice of quotients for a distributive lattice. In the present paper the authors use the multipliers in order to define a sheaf duality theorem for the category of Heyting algebras.