  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.
