University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Oxford Quantum Talks Archive

The space of measurement outcomes as a spectrum for non-commutative algebras

Bas Spitters, Radboud University Nijmegen
Quantum Physics and Logic 2010, May 2010, University of Oxford

Bohrification defines a locale of hidden variables internal in a topos. We find that externally this is the space of partial measurement outcomes. By considering the not-not-sheafification, we obtain the space of measurement outcomes which coincides with the spectrum for commutative C*-algebras.

[video] [streaming video]