2011/08/25 by Kunji Nakayama, Nakayama, Kunji · 1 citation
Computer Science · Mathematics · Physics and Astronomy · #Advanced Topics in Algebra #FOS: Physical sciences #Mathematical Physics (math-ph) #Quantum Information and Cryptography #Quantum Mechanics and Applications #Quantum Physics (quant-ph) #math-ph #math.MP #quant-ph
paper · pdf · doi:10.48550/arxiv.1109.1192
48pages
openalex publication_date 2011/08/25 · arxiv created 2012/04/24 · arxiv updated 2012/04/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 self-adjoint operators on a Hilbert space naturally induces geometric morphisms from presheaf topoi related to the classical system into a presheaf topos, called the quantum topos, on the context category consisting of commutative von Neumann algebras of bounded operators on the Hilbert space. By means of the geometric morphisms, we define Lawvere-Tierney topologies on the quantum topos (and their equivalent Grothendieck topologies on the context category). We show that, among them, we can uniquely select the most informative one, which we call the quantization topology. We furthermore construct sheaves induced by the quantization topology. This can be done in an elementary and self-contained way, because the quantization topology has a quite simple expression.