University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Oxford Quantum Talks Archive

Complementarity in categorical quantum mechanics

Chris Heunen, University of Oxford
Quantum Physics and Logic 2010, May 2010, University of Oxford

We relate notions of complementarity in three layers of quantum mechanics: (i) von Neumann algebras, (ii) Hilbert spaces, and (iii) orthomodular lattices. Taking a more general categorical perspective of which the above are instances, we consider dagger monoidal kernel categories for (ii), so that (i) become (sub)endohomsets and (iii) become subobject lattices. By developing a `point-free' definition of copyability we link (i) commutative von Neumann subalgebras, (ii) classical structures, and (iii) Boolean subalgebras.

[video] [streaming video] [slides]