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.

17 pages; v2: minor corrections

References in corpus (4)

• A Characterisation of First-Order Constraint Satisfaction Problems
• Grad and classes with bounded expansion III. restricted dualities
• Constraints, MMSNP and expander relational structures
• Splitting finite antichains in the homomorphism order