[论文解读] Extensions of flat functors and theories of presheaf type

Olivia Caramello|arXiv (Cornell University)|Apr 17, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用 3

一句话总结

本文在拓扑斯理论中发展了平坦函子扩张的一般理论，并建立了一个特征化定理，该定理为几何理论属于预层类型（即其分类拓扑斯等价于一个预层拓扑斯）提供了必要且充分的语义条件。主要贡献是一个基于格罗滕迪克拓扑斯中模型的统一准则，涵盖了先前的结果，并使得对新预层类型理论的验证与构造成为可能。

ABSTRACT

We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a characterization theorem providing necessary and sufficient semantic conditions for a theory to be of presheaf type. This theorem subsumes all the previous partial results obtained on the subject and has several corollaries which can be used in practice for testing whether a given theory is of presheaf type as well as for generating new examples of theories belonging to this class. Along the way, we establish a number of other results of independent interest, including developments about colimits in the context of indexed categories, expansions of geometric theories and methods for constructing theories classified by a given presheaf topos.

研究动机与目标

• 在拓扑斯理论中发展沿几何态射的平坦函子扩展的全面理论。
• 对分类拓扑斯为预层拓扑斯的几何理论（即预层类型理论）提供完整的特征化。
• 统一并推广先前用于识别预层类型理论的部分准则。
• 提供实用工具，用于测试给定理论是否属于预层类型，以及用于构造新的此类理论。
• 建立模型的语义性质与预层类型理论句法结构之间的联系。

提出的方法

• 引入并分析拓扑斯中的 $\boldsymbol{\frak{E}}$-索引余极限，特别是在内部图示和张量积的背景下。
• 建立沿几何态射扩展平坦函子的一般框架，包括范畴的伴随关系与嵌入。
• 将该理论应用于刻画几何理论背景下有限呈现模型与同态的性质。
• 引入语义 $\frak{E}$-有限呈现性的概念，并将其与模型中的强有限呈现性联系起来。
• 通过几何理论的扩张与内射化过程生成新的预层类型理论。
• 将特征化定理应用于具体例子，包括向量空间、带有强单位的阿贝尔 $\ell$-群，以及戴尔斯的域。

实验结果

研究问题

• RQ1 一个几何理论属于预层类型的必要且充分语义条件是什么？
• RQ2 如何判断一个给定的几何理论是否由一个预层拓扑斯分类？
• RQ3 哪些构造保持了预层类型的性质，以及如何生成新的此类理论？
• RQ4 格罗滕迪克拓扑斯中的模型如何反映预层类型理论的句法结构？
• RQ5 理论的扩张与内射化过程与预层类型理论类之间存在何种关系？

主要发现

• 本文建立了特征化定理，指出一个几何理论属于预层类型当且仅当其有限呈现模型满足与格罗滕迪克拓扑斯中平坦函子扩张相关的特定语义条件。
• 证明了带有强单位的阿贝尔 $\ell$-群理论属于预层类型，其有限呈现模型恰好是作为 $\mathbb{H}$-模型有限呈现且具有强单位的那些模型。
• 证明了在域 $K$ 上维度 $\leq n$ 的向量空间理论属于预层类型，其在 $\mathbf{Set}$ 中的模型恰好是维度 $\leq n$ 的有限维 $K$-向量空间。
• 戴尔斯的域理论被确认为预层类型理论，其模型是相对于给定域代数闭的域。
• 证明了给定域的代数扩张理论属于预层类型，其有限呈现模型对应于有限代数扩张。
• 证明了带有强单位的阿贝尔 $\ell$-群理论与 MV-代数理论之间是莫里塔等价的，从而确认了其在预层类型理论类中的位置。