Bart Jacobs Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories http://arxiv.org/abs/0905.4090 2009 CoRR abs/0905.4090 db/journals/corr/corr0905.html#abs-0905-4090 informal publication