Quantum Logic in Dagger Categories with Kernels

by Chris Heunen , Bart Jacobs