Functor category dualities for varieties of Heyting algebras

Let image be a finitely generated variety of Heyting algebras and let image be the class of subdirectly irreducible algebras in image. We prove that image is dually equivalent to a category of functors from image into the category of Boolean spaces. The main tool is the theory of multisorted natural dualities.