Quantum Logic in Dagger Categories with Kernels Export

@article{citeulike:4057634, abstract = {This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The resulting structures turn out to (1) encompass many examples of interest, such as categories of relations, partial injections, Hilbert spaces (also modulo phase), and Boolean algebras, and (2) have interesting categorical/logical properties, in terms of kernel fibrations, such as existence of pullbacks, factorisation, and orthomodularity. For instance, the Sasaki hook and and-then connectives are obtained, as adjoints, via the existential-pullback adjunction between fibres.}, archivePrefix = {arXiv}, author = {Heunen, Chris and Jacobs, Bart}, citeulike-article-id = {4057634}, citeulike-linkout-0 = {http://arxiv.org/abs/0902.2355}, citeulike-linkout-1 = {http://arxiv.org/pdf/0902.2355}, day = {13}, eprint = {0902.2355}, keywords = {category-theory, logic, mathematics, quantum}, month = {Feb}, posted-at = {2009-02-16 07:24:07}, priority = {3}, title = {Quantum Logic in Dagger Categories with Kernels}, url = {http://arxiv.org/abs/0902.2355}, year = {2009} }

TY - JOUR ID - citeulike:4057634 L3 - citeulike-article-id:4057634 N2 - This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The resulting structures turn out to (1) encompass many examples of interest, such as categories of relations, partial injections, Hilbert spaces (also modulo phase), and Boolean algebras, and (2) have interesting categorical/logical properties, in terms of kernel fibrations, such as existence of pullbacks, factorisation, and orthomodularity. For instance, the Sasaki hook and and-then connectives are obtained, as adjoints, via the existential-pullback adjunction between fibres. TI - Quantum Logic in Dagger Categories with Kernels KW - category-theory KW - logic KW - mathematics KW - quantum AU - Heunen, Chris AU - Jacobs, Bart PY - 2009/Feb/13/ UR - http://arxiv.org/abs/0902.2355 ER -