Dualities and dual pairs in Heyting algebras

Abstract

We extract the abstract core of finite homomorphism dualities using the techniques of Heyting algebras and (combinatorial) categories.