Quantum Logic in Dagger Kernel Categories

Details Quantum Logic in Dagger Kernel Categories Quantum Logic in Dagger Kernel Categories

2009-02-13

arxiv.org/abs/0902.2355v3

Order 27(2):177-212, 2010

Mathematics

Logic

35 pages

Scientific paper

10.1007/s11083-010-9145-5

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.

Affiliated with

Also associated with

No associations

Rating

Quantum Logic in Dagger Kernel Categories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Quantum Logic in Dagger Kernel Categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Quantum Logic in Dagger Kernel Categories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-357845