Gaps and Dualities in Heyting Categories

Abstract

Relations between gaps and dualities are studied in the context of Heyting categories. Those are shown to be substantially more general than the cartesian closed ones.

Keywords

• Dualities
• Heyting
• Categories