Daggers, kernels, Baer *-semigroups, and orthomodularity (Q358684)

First, the author gives a synopsis of algebraic methods used in the construction of modular ortholattices, orthomodular lattices (OMLs), complete OMLs, orthomodular posets (OMPs), by von Neumann regular *-rings, Rickart *-rings, Baer *-rings, respectively. Additional remarks refer to coordinatization results for given (complete) OMLs by Baer *-semigroups, cf. \textit{D. J. Foulis} [Proc. Am. Math. Soc. 11, 648--654 (1960; Zbl 0239.20074)]. Avoiding involutions, OMLs may even be constructed from a semigroup wherein a set of idempotent generators of annihilator ideals is specified, cf. Theorem 16. Second, the author defines a class of categories (so-called weak dagger kernel categories) such that for any object of the category the set of its endomorphisms is a Baer *-semigroup, cf. Theorem 15. Using results of \textit{S. P. Gudder} and \textit{R. H. Schelp} [Proc. Am. Math. Soc. 25, 229--237 (1970; Zbl 0203.31002)] on orthomodular partial semigroups (OPSs), the author proves that the categories of OMPs and of OPSs are isomorphic, Theorem 24. OPSs arise as subsets of supplemented idempotents inside semirings (Proposition 28), a situation which the author interprets in the context of semiadditive categories, Corollary 29. The existence of biproducts gives rise to a semiadditive structure, whence also in categories with biproducts any object gives an OMP via its set of supplemented idempotent endomorphisms, Proposition 32. Final remarks refer, among others, to binary product decompositions, see \textit{J. Harding} [Trans. Am. Math. Soc. 348, No. 5, 1839--1862 (1996; Zbl 0859.03032); Int. J. Theor. Phys. 45, No. 6, 1117--1128 (2006; Zbl 1102.81017); Int. J. Theor. Phys. 48, No. 3, 769--802 (2009; Zbl 1180.81006)].