From orthoposets to orthomodular posets

John Harding, Gejza Jenda, Bert Lindenhovius

We show that the category of orthomodular posets is a full coreflective subcategory of the category of strong orthoposets, those orthoposets in which any two orthogonal elements ha…