堆栈语义及材料与结构集合理论的比较
摘要：一般扩展拓扑的内在逻辑到更一般的解释，称为堆栈语义，允许“无界”量词覆盖拓扑对象的类。利用在堆栈语义中的良维基关系，我们可以从任意拓扑中恢复一种基于成员关系的（或“实体”）集合论，包括涉及无界量词的集合论公理模式（如collection和separation）。这种构造复制了Fourman-Hayashi模型和代数拓扑的模型（当后者适用时）。结果表明，在任意拓扑的堆栈语义中，收集和替代公理总是成立的，而堆栈语义中表达的分离公理则通过全面的ZF拓扑论公理模式给出。我们称满足此模式的拓扑为“自证”。
作者：Michael A. Shulman
论文ID：1004.3802
分类：Category Theory
分类简称：math.CT
提交时间：2010-04-23