Categorical Quantum Models and Logics
Title
Categorical Quantum Models and Logics
Price
€ 43,95
ISBN
9789085550242
Format
Paperback
Number of pages
214
Language
English
Publication date
Dimensions
15.6 x 23.4 cm
Table of Contents
Show Table of ContentsHide Table of Contents
Preface - 6 Contents - 8 Ch 1. Introduction Ch 2. Tensors and biproducts Ch 3. Dagger categories Ch 4. Dagger kernel logic Ch 5. Bohrification Bibliography Index of categories - 204 Index of notation - 206 Index of subjects - 208 Samenvatting - 212 Curriculum vitae - 214

Chris Heunen

Categorical Quantum Models and Logics

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-
Author

Chris Heunen

Chris Heunen (1982) studied mathematics and computer science at the Radboud University Nijmegen. In 2005 he started his graduate studies at the same university, supervised by prof. Bart Jacobs and prof. Klaas Landsman.