Charles Explorer logo
🇨🇿

Mezery a duality v Heytingovských kategoriích

Publikace na Matematicko-fyzikální fakulta |
2007

Abstrakt

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í.