几乎可测基数的范畴论刻画
逻辑
2019-12-17 v4 范畴论
摘要
通过对 Brooke-Taylor 与 Rosicky 的一个论证的细致分析，我们证明了任意可达函子的幂像在 -链的余极限下封闭，其中 为充分大的几乎可测基数。关于幂像的这一条件，借助类似于 Lieberman 与 Rosicky 的方法，蕴涵 Galois 类型的 -局部性。由于这转而通过 Boney 与 Unger 的一篇论文蕴涵 的充分可测性，我们得到了一个等价关系：几乎可测基数的一种纯范畴论刻画。
引用
@article{arxiv.1809.05953,
title = {A category-theoretic characterization of almost measurable cardinals},
author = {Michael Lieberman},
journal= {arXiv preprint arXiv:1809.05953},
year = {2019}
}