Let L be an arbitrary orthomodular lattice. There is a one to one correspondence between orthomodular sublattices of L satisfying an extra condition and quantic quantifiers. The category of orthomodular lattices is equivalent to the category of posets having two families of endofunctors satisfying six conditions.
Keywords: Quantum logic; orthomodular lattice.
2000 MSC: 03G12; 06C99.
Theory and Applications of Categories,
Vol. 16, 2006,
No. 10, pp 206-217.
http://www.tac.mta.ca/tac/volumes/16/10/16-10.dvi
http://www.tac.mta.ca/tac/volumes/16/10/16-10.ps
http://www.tac.mta.ca/tac/volumes/16/10/16-10.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/16/10/16-10.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/16/10/16-10.ps