Quantum Logic in Dagger Kernel Categories - Heunen, C; Jacobs, B (2010)