摘要：一个初等拓扑空间足以在其内部语言中模拟Nelson的内部集合论，并且我们展示了满足内部选择公理的任何拓扑都可以看作标准对象和映射的宇宙。这一发展使得人们能够在新的环境中，如G-集和布尔''entendues''的拓扑空间中使用非标准分析的证明方法（转移，标准化和理想化）。
作者：Jos''e Siqueira
论文ID：2308.16030
分类：Category Theory
分类简称：math.CT
提交时间：2023-08-31
PDF 下载： 英文版 中文版pdf翻译中