弱 Vopěnka 原理不蕴含 Vopěnka 原理
范畴论
2020-02-04 v1 逻辑
摘要
Vopěnka 原理断言图的范畴没有大的离散全子范畴，或等价地，序数的范畴不能被全嵌入其中。弱 Vopěnka 原理是其对偶陈述，即序数的对偶范畴不能被全嵌入图的范畴。它于1988年由 Adámek、Rosický 和 Trnková 引入，他们证明它可由 Vopěnka 原理推出，并询问这两个陈述是否等价。我们证明它们不等价。然而，我们证明弱 Vopěnka 原理等价于其自身的推广，即所谓的半弱 Vopěnka 原理。
引用
@article{arxiv.1909.09333,
title = {Weak Vop\v{e}nka's Principle does not imply Vop\v{e}nka's Principle},
author = {Trevor M. Wilson},
journal= {arXiv preprint arXiv:1909.09333},
year = {2020}
}
备注
8 pages