Dual categories for endodualisable Heyting algebras: optimization and axiomatization (Q2577735)

The paper is contribution to the natural duality theory and to the theory of standard topological quasi-varieties. Especially, the duality on the variety generated by the \(n\)-element Heyting chain is investigated. In the case \(n=4\), the authors give a set of quasi-equations that describe the dual category. A quasi-equational description of the optimal dual category for the variety of Heyting algebras generated by the (non-chain) Heyting algebra \({\mathbf 2}^2\oplus 1\) is given. Some further interesting results are obtained.