Text this: Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories