Heyting代数中的对偶与对偶对
Dualities and dual pairs in Heyting algebras
摘要：
我们提取的有限同态对偶的抽象核心使用的技术Heyting代数和（组合）类别。
英文摘要：
We extract the abstract core of finite homomorphism dualities using the techniques of Heyting algebras and (combinatorial) categories.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
