Cargando…
Categorical quantum models and logics /
Annotation 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 sp...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Tesis Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
Pallas Publications,
2009.
|
| Colección: | Pallas Proefschriften.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn654374383 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 100810s2009 ne obm 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d N$T |d IDEBK |d OCLCQ |d OCLCF |d DKDLA |d OCLCQ |d NLGGC |d CDX |d OCLCQ |d AGLDB |d PIFAG |d OCLCQ |d WY@ |d LUE |d STF |d VTS |d M8D |d OCLCQ |d OCLCO |d OCL |d AJS |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 642819522 | ||
| 020 | |a 9789048511341 |q (electronic bk.) | ||
| 020 | |a 9048511348 |q (electronic bk.) | ||
| 020 | |a 9789085550242 |q (Paper) | ||
| 020 | |a 9085550246 |q (Paper) | ||
| 029 | 1 | |a CDX |b 13553946 | |
| 029 | 1 | |a DEBBG |b BV043121865 | |
| 029 | 1 | |a DEBSZ |b 421881909 | |
| 029 | 1 | |a GBVCP |b 803341482 | |
| 029 | 1 | |a AU@ |b 000054175205 | |
| 035 | |a (OCoLC)654374383 |z (OCoLC)642819522 | ||
| 037 | |a 259172 |b MIL | ||
| 050 | 4 | |a QC174.12 |b .H48eb | |
| 072 | 7 | |a MAT |x 023000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 026000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 039000 |2 bisacsh | |
| 082 | 0 | 4 | |a 510 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Heunen, Chris, |d 1982- | |
| 245 | 1 | 0 | |a Categorical quantum models and logics / |c Chris Heunen. |
| 260 | |a Amsterdam : |b Pallas Publications, |c 2009. | ||
| 300 | |a 1 online resource (214 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Pallas Proefschriften | |
| 502 | |a Proefschrift--Radboud Universiteit Nijmegen, 2010. | ||
| 504 | |a Includes bibliographical references (pages 181-193) and index. | ||
| 588 | 0 | |a Print version record. | |
| 520 | 8 | |a Annotation 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- This title can be previewed in Google Books - http://books.google.com/books?vid=ISBN9789085550242. | |
| 546 | |a With a summary in Dutch. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Quantum theory. | |
| 650 | 6 | |a Théorie quantique. | |
| 650 | 7 | |a MATHEMATICS |x Pre-Calculus. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Reference. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Essays. |2 bisacsh | |
| 650 | 7 | |a Quantum theory |2 fast | |
| 655 | 7 | |a dissertations. |2 aat | |
| 655 | 7 | |a Academic theses |2 fast | |
| 655 | 7 | |a Academic theses. |2 lcgft | |
| 655 | 7 | |a Thèses et écrits académiques. |2 rvmgf | |
| 776 | 0 | 8 | |i Print version: |a Heunen, Chris. |t Categorical quantum models and logics. |d Amsterdam Pallas Publications, 2009 |z 9789085550242 |w (OCoLC)551905331 |
| 830 | 0 | |a Pallas Proefschriften. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=315476 |z Texto completo |
| 938 | |a Coutts Information Services |b COUT |n 13553946 | ||
| 938 | |a EBSCOhost |b EBSC |n 315476 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 259172 | ||
| 994 | |a 92 |b IZTAP | ||