有限呈现 Heyting 预拓扑斯的栈表示 I
Stack Representation of Finitely Presented Heyting Pretoposes I
AI总结：
本文构造了一个由有限 Kripke 框架构成的 (2,1)-位点，并证明有限呈现 Heyting 预拓扑斯的 (2,1)-范畴可反变嵌入其上的栈拓扑斯，从而为用范畴论与高层层论研究直觉主义一阶理论提供新途径。
摘要：
本文是关于有限呈现 Heyting 预拓扑斯的栈表示系列论文的第一篇。在本文中，我们提供了第一步，通过构造一个 (2,1)-位点，该位点可被视为有限 Kripke 框架的位点，使得有限呈现 Heyting 预拓扑斯的 (2,1)-范畴反变地嵌入到该 (2,1)-位点上的栈的 (2,1)-拓扑斯中。这为使用范畴论和高层层论工具研究某些直觉主义一阶理论类的性质提供了一个切入点。
英文摘要：
This is the first of a series of papers on stack representation of finitely presented Heyting pretoposes. In this paper, we provide the first step by constructing a (2, 1)-site, which can be thought of as the site of finite Kripke frames, such that the (2,1)-category of finitely presented Heyting pretoposes contravariantly embeds into the (2,1)- topos of stacks on this (2, 1)-site. This provides an entry point to use categorical and higher sheaf-theoretic tools to study the properties of certain classes of intuitionistic first-order theories.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
