通过拓扑斯理论实现数学的统一
范畴论
2010-06-22 v1 代数几何
逻辑
摘要
我们提出了一套原则和方法论，可作为数学统一理论的基础。这些原则基于对格罗滕迪克拓扑斯的新观点，将其视为能够充当“桥梁”的统一空间，用于在不同数学理论之间传递信息、思想和结果。
引用
@article{arxiv.1006.3930,
title = {The unification of Mathematics via Topos Theory},
author = {Olivia Caramello},
journal= {arXiv preprint arXiv:1006.3930},
year = {2010}
}
备注
42 pages