Dualities and dual pairs in Heyting algebras (Q603889)

Finite dualities appeared in the categorical context of dual characterizations of various classes of structures [\textit{J. Nešetřil} and \textit{A. Pultr}, Discrete Math. 22, No.~3, 287--300 (1978; Zbl 0388.05039)]. Its idea is to characterize a given class of structures both by forbidden substructures (associated with subobjects) and by decompositions (associated with factor objects). In the paper, finite dualities in the categorical context are discussed. The authors aim at pointing out those categories in which one can describe finite dualities using the interplay of general categorical and order-theoretical concepts and techniques.