- Published 2017

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.