The space o f measurement outcomes as a spectrum for non-commutative algebras Bas Spitters

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