Categorical Quantum Models And Logics
Download and Read Categorical Quantum Models And Logics full books in PDF, ePUB, and Kindle. Read online free Categorical Quantum Models And Logics ebook anywhere anytime directly on your device. We cannot guarantee that every ebooks is available!
Categorical Quantum Models and Logics
Author | : Chris Heunen |
Publisher | : Amsterdam University Press |
Total Pages | : 214 |
Release | : 2009-11-01 |
Genre | : Mathematics |
ISBN | : 9085550246 |
Download Categorical Quantum Models and Logics Book in PDF, Epub and Kindle
This dissertation studies the logic behind quantum physics, using category theory as the principal tool and conceptual guide. To do so, principles of quantum mechanics are modeled categorically. These categorical quantum models are justified by an embedding into the category of Hilbert spaces, the traditional formalism of quantum physics. In particular, complex numbers emerge without having been prescribed explicitly. Interpreting logic in such categories results in orthomodular property lattices, and furthermore provides a natural setting to consider quantifiers. Finally, topos theory, incorporating categorical logic in a refined way, lets one study a quantum system as if it were classical, in particular leading to a novel mathematical notion of quantum-