PlanetPhysics/Quantum Logic Topoi
\newcommand{\sqdiagram}[9]{Failed to parse (unknown function "\diagram"): {\displaystyle \diagram #1 \rto^{#2} \dto_{#4}& \eqno{\mbox{#9}}} }
Quantum logic topoi
A \htmladdnormallink{quantum logic {http://planetphysics.us/encyclopedia/TheoryOfHilbertLattices.html} [[../GrothendieckTopos/|topos]]} (QLT ) is defined as an extension of the [[../PreciseIdea/|concept]] of topos in which the Heyting logic algebra (or subobject classifier) of the standard [[../GrothendieckTopos/|elementary topos]] is replaced by a quantum logic which is axiomatically defined by \htmladdnormallink{non-commutative {http://planetphysics.us/encyclopedia/AbelianCategory3.html} and non-distributive} lattice structures.
Remark
Quantum logic topoi are thus generalizations of the Birkhoff and von Neumann definition of [[../QuantumSpinNetworkFunctor2/|quantum state spaces]] based on their definition of a quantum logic (lattice), as well as a [[../NonAbelianQuantumAlgebraicTopology3/|non-Abelian]], higher dimensional extension of the recently proposed concept of a [[../QuantumCategories/|'quantum' topos]] which employs the (commutative ) [[../SUSY2/|Heyting logic algebra as a subobject classifier]].
Some specific examples are considered in the following two recent references.
All Sources
References
- ↑ Butterfield, J. and C. J. Isham: 2001, Space-time and the philosophical challenges of quantum gravity., in C. Callender and N. Hugget (eds. ) Physics Meets Philosophy at the Planck scale., Cambridge University Press,pp.33--89.
- ↑ Butterfield, J. and C. J. Isham: 1998, 1999, 2000--2002, A topos perspective on the Kochen--Specker theorem I - IV, Int. J. Theor. Phys, 37 No 11., 2669--2733 38 No 3., 827--859, 39 No 6., 1413--1436, 41 No 4., 613--639.