论文标题
逻辑中的捆和二元性
Sheaf Representations and Duality in Logic
论文作者
论文摘要
20世纪中叶发现的代数和几何形状的基本二元理论也可以通过其在分类逻辑下的代数化应用于逻辑。因此，它们导致已知和新的完整定理。可以通过有时所谓的``分类''来进一步采取这个想法，以在逻辑和几何形状之间建立新的联系，而逻辑和几何形状也可以瞥见topos理论。
The fundamental duality theories relating algebra and geometry that were discovered in the mid-20th century can also be applied to logic via its algebraization under categorical logic. They thereby result in known and new completeness theorems. This idea can be taken even further via what is sometimes called ``categorification'' to establish a new connection between logic and geometry, a glimpse of which can also be had in topos theory.
