代数集合论中的 Lawvere-Tierney 层
逻辑
2014-11-21 v3 范畴论
摘要
我们提出了一个解决方案，用于在代数集合论中定义拓扑斯理论 (Topos Theory) 中内部层构造的对应物。我们的方法具有普遍性，因为我们考虑由 Lawvere-Tierney 覆盖决定的层，而非由 Grothendieck 覆盖决定的层，并且仅假设了 Joyal 和 Moerdijk 最初引入的小映射公理的弱化形式，从而涵盖了现有的拓扑斯理论结果。
引用
@article{arxiv.0711.1529,
title = {Lawvere-Tierney sheaves in algebraic set theory},
author = {Steve Awodey and Nicola Gambino and Peter L. Lumsdaine and Michael A. Warren},
journal= {arXiv preprint arXiv:0711.1529},
year = {2014}
}
备注
33 pages; a revised version of the earlier paper "A general construction of internal sheaves in algebraic set theory"; accepted for publication in the Journal of Symbolic Logic