Zaslat SMS: Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices