Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories (Logical Methods in Computer Science, 2010)