J. Ne\v set\v ril, A. Pultr, C. Tardif
Gaps and dualities in Heyting categories

Comment.Math.Univ.Carolin. 48,1 (2007) 9-23.

Abstract:We present an algebraic treatment of the correspondence of gaps and dualities in partial ordered classes induced by the morphism structures of certain categories which we call Heyting (such are for instance all cartesian closed categories, but there are other important examples). This allows to extend the results of [14] to a wide range of more general structures. Also, we introduce a notion of combined dualities and discuss the relation of their structure to that of the plain ones.

Keywords: Heyting algebras, dualities and gaps, Heyting categories
AMS Subject Classification: 06D20, 18D15, 05C99