02024nam 2200589Ia 450 991045632530332120200520144314.01-282-59172-X978661259172390-485-1134-8(CKB)2550000000012779(EBL)542528(OCoLC)645097290(SSID)ssj0000413660(PQKBManifestationID)11913191(PQKBTitleCode)TC0000413660(PQKBWorkID)10384280(PQKB)10349119(MiAaPQ)EBC542528(Au-PeEL)EBL542528(CaPaEBR)ebr10373181(CaONFJC)MIL259172(EXLCZ)99255000000001277920100513d2010 uy 0engur|n|---|||||txtccrCategorical quantum models and logics[electronic resource] /Chris Heunen[Amsterdam] Pallas Publications Amsterdam University Pressc20101 online resource (214 p.)Pallas ProefschriftenIncludes index.90-8555-024-6 Preface; Contents; Ch 1. Introduction; Ch 2. Tensors and biproducts; Ch 3. Dagger categories; Ch 4. Dagger kernel logic; Ch 5. Bohrification; Bibliography; Index of categories; Index of notation; Index of subjects; Samenvatting; Curriculum vitaeThis dissertation studies the logic behind quantum physics, using category theory as the principal tool and conceptual guidePallas ProefschriftenQuantum theoryMathematicsQuantum logicElectronic books.Quantum theoryMathematics.Quantum logic.510Heunen Chris998215MiAaPQMiAaPQMiAaPQBOOK9910456325303321Categorical quantum models and logics2289641UNINA