Quantum logic in dagger kernel categories - Heunen, C; Jacobs, B (2009)