非信号盒和Bohrification
Non-signalling boxes and Bohrification
摘要：
本文的前提是以下观察：玻尔化的形式主义是解释一般非信号理论的自然场所。我们通过对所谓的盒子世界的分析来证明这一点，盒子世界是一个流行的框架，用于讨论表现出超量子关联的系统。特别是，我们表明，非信号箱世界国家正是在一个内部框架的Kripke拓扑自然与一个给定的盒子世界的内部概率估值。
英文摘要：
The premise of this note is the following observation: the formalism of Bohrification is a natural place for the interpretation of general non-signalling theories. We demonstrate it through an analysis of so-called box-worlds, a popular framework for the discussion of systems exhibiting super-quantum correlations. In particular, we show that non-signalling box-world states are precisely the internal probability valuations on an internal frame in a Kripke topos naturally associated with a given box world.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
