Quantization in Topos Quantum Theory: An Open Problem
In this Chapter we are interested in analysing how, if at all, different quantizations can be represented in Topos Quantum Theory. We already know from the work of  that it is indeed possible to define the concept of quantization within a topos. We would like to extend this program to incorporate all possible equivalent quantizations.
- 27.C. Flori, Group action in topos quantum physics. J. Math. Phys. 54, 3 (2013). arXiv:1110.1650 [quant-ph]Google Scholar
- 50.P.T. Johnstone, Sketches of an Elephant A Topos Theory Compendium I, II (Oxford Science Publications, Oxford, 2002)Google Scholar
- 55.S. MacLane, I. Moerdijk, Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Springer, London, 1968)Google Scholar
- 57.K. Nakayama, Sheaves in quantum topos induced by quantization. arXiv:1109.1192 [math-ph]Google Scholar