谓词代数集合论诸方面 III：层
逻辑
2014-02-26 v2 范畴论
摘要
这是关于代数集合论系列论文的第三篇。在本文中，我们基于范畴逻辑的思想，发展了一种统一的构造性集合论层模型方法。关键概念是“带小映射的谓词范畴”，它公理化了类与类态射范畴的概念，并附带一类其纤维是集合（在某个公理集合论中）的选定映射。本文的主要结果是，这种带小映射的谓词范畴在内部层下是稳定的。我们讨论了由此产生的构造性集合论的层模型，以及未来工作的思路。
引用
@article{arxiv.0912.1242,
title = {Aspects of Predicative Algebraic Set Theory III: Sheaves},
author = {Benno van den Berg and Ieke Moerdijk},
journal= {arXiv preprint arXiv:0912.1242},
year = {2014}
}