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 lattic…
Read More ↓Title Statements
- Full title :Categorical quantum models and logics / Chris Heunen.
Summary
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-
Read More ↓Edition Statements
- Publication Date:2009.
Publication Statements
- Publisher(s):Pallas Publications
- Place of Publication:Amsterdam
- Language:eng
- Publication Date:2009.
The Physical Object
- Description:214 pages ; : 24 cm.
Edition Identifiers
- ISBN:9789085550242, 9085550246
- oclc:ocn551905331
- LC Classification:QC174.12
- Dewey Decimal:510
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
Read More ↓Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Makeology
Philosophy, technology, and the environment
The development of the mechanics' institute movement in Britain and beyond: supporting further education for the ad…
Walker, Martyn
Files & Downloads
-
Categorical Quantum Models and Logics (Pallas Pro…
PDF · 2.4 MB · updated
Rate & Review