Vztahy mezi mezerami a dualitami jsou studovány v kontextu Heytingovských kategorií. O tomto je ukázáno, že je podstatně obecnější než případ kartézsky uzavřených kategorií.