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