Abstract orthogonality and orthocomplementation
Gianpiero Cattaneo, Alessandro Manià · Mathematical Proceedings of the Cambridge Philosophical Society · 1974
Abstract The notion of orthogonality is axiomatically defined on a poset. Various notions of orthocomplementation are distinguished and conditions are given in order to induce an orthocomplementation from an orthogonality and vice versa. Subsequently ⊥-modular ⊥-poset are defined and the set of morphisms between two posets with orthogonality is briefly discussed. Given the notions of additive monoid and of positive semi-ring, an orthogonality relation is introduced on the set of idempotent elements of a positive semi-ring. Finally, the obtained results are applied to the set of idempotent and absorbent endomorphisms of an additive monoid.