Sheaves in Quantum Topos Induced by Quantization

Kunji Nakayama

This paper shows that quantization induces a Lawvere-Tierney topology on (hence, a sheaf topos in) the quantum topos. We show that a quantization map from classical observables to…