(Radboud University Nijmegen)
|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 double negation sheafification, we obtain the space of measurement outcomes which coincides with the spectrum for commutative C*-algebras.
|ArXived at: https://dx.doi.org/10.4204/EPTCS.26.12
|Comments and questions to: email@example.com
|For website issues: firstname.lastname@example.org