层论方法中的可扩展性：从 Kochen-Specker 模型构造 Bell 模型

Abramsky 和 Brandenburger 表明，经验模型的可扩展性以统一的方式对应于局域性和非语境性。我们通过提出一种可扩展性概念的细化来发展他们的方法，该细化也可用于刻画子模型的性质。研究发现该细化具有另一个有用应用：证明当某个规范扩展良定义时，可用于从更一般类型的模型构造 Bell 型模型，使得构造出的模型在非线性/语境性方面与原模型等价。这一点很重要，因为在实践和基础层面上，Bell 型模型中的局域性概念比相应的广义语境性概念更容易被激发。我们考虑了由一些标准语境模型（包括一整类 Kochen-Specker 型模型）生成的 Bell 型模型示例。这揭示了最简单的语境模型（语境三角形）与 Popescu-Rohrlich 无信号关联之间一种引人注目的关系。