{"id":"arxiv/2602.17273","url":"https://arxiv.org/abs/2602.17273","tags":["math.LO","math.RA"],"score":0,"title":"On $\\mathscr{T}$-based orthomodular dynamic algebras","domain":"math.LO","source":"arxiv","authors":["Jan Paseka","Juanda Kelana Putra","Richard Smolka"],"reviews":0,"subject":"math.LO","summary":"This paper establishes a categorical equivalence between the category $\\mathbb{COL}$ of complete orthomodular lattices and the category $\\mathscr{T}\\mathbb{ODA}$ of $\\mathscr{T}$-based orthomodular dynamic algebras. Complete orthomodular lattices serve as the static algebraic foundation for quantum logic, modeling the testable properties of quantum systems. In contrast, $\\mathcal{T}$-based orthomodular dynamic algebras, which are specialized unital involutive quantales, formalize the composition and quantum-logical properties of quantum actions. This result refines prior connections between…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-19","reactions":{}}