构造主义与结构主义基础：Bishop 与 Lawvere 的集合论
逻辑
2012-01-31 v1 范畴论
摘要
本文简要讨论了 Bishop 的非形式集合论，并将其与 Lawvere 的集合论范畴初等理论 (ETCS) 进行了比较。随后，我们提出了 ETCS 的一个构造性和谓词性版本，其标准模型基于 Martin-L"of 的构造类型论。该理论 CETCS 为 Bishop 风格的构造数学提供了结构主义基础。
引用
@article{arxiv.1201.6272,
title = {Constructivist and Structuralist Foundations: Bishop's and Lawvere's Theories of Sets},
author = {Erik Palmgren},
journal= {arXiv preprint arXiv:1201.6272},
year = {2012}
}
备注
28 pages