偏序集模型范畴中的单一公理

在本文中，我们用（抽象）模型范畴的语言解释了 Voevodsky 的单一公理。然后我们证明，任何偏序集局部笛卡儿闭模型范畴 $Qt$，只要映射 $Hom^{(w)}(Z\times B,C):Qt\longrightarrow Sets$ 在 $Z$ 中是函子的且在 $Qt$ 中有表示，就满足我们的单一公理的同伦版本，尽管是以一种相当平凡的方式。这项工作的动机是 [Ob] 中报告的一个问题，该问题要求给出一个不等价于标准模型的单一公理模型。