风格练习：集合论的同伦理论 II
范畴论
2012-04-30 v1
摘要
这是 \cite{GaHa} 中启动的工作的第二部分，我们在其中为集合论构造了一个模型范畴 。在本文中，我们利用该模型范畴将同伦论直觉引入集合论。我们的主要观察结果是，基数（cardinality）的同伦不变版本是 Shelah PCF 理论中的覆盖数（covering number），并且其他组合对象，如 Shelah 修正幂函数（revised power function）——即出现在 Shelah 修正广义连续统假设（GCH）定理中的基数函数——可以使用类似的工具获得。我们在 中包含了一个小型的集合论“词典”，希望它有助于在集合论中发现更有意义的同伦论直觉。
引用
@article{arxiv.1204.6228,
title = {Exercices de style: A homotopy theory for set theory II},
author = {Misha Gavrilovich and Assaf Hasson},
journal= {arXiv preprint arXiv:1204.6228},
year = {2012}
}