Գրեք սա: Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices