Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918453241184256 |
|---|---|
| author | Putra, Juanda Kelana Smolka, Richard |
| author_facet | Putra, Juanda Kelana Smolka, Richard |
| contents | This paper reveals a categorical equivalence connecting two distinct quantum logic structures. The first is the orthomodular lattice, an algebraic system designed to formalize the properties of quantum systems. The second is a finitary orthomodular dynamic algebra, a specialized development of the orthomodular dynamic algebra where the underlying quantum actions are restricted to be finitary. The applicability of the result extends to more specialized lattices, such as Hilbert lattices of closed subspaces of a Hilbert space, beyond general orthomodular lattices. As these lattice structures exhibit connections to a diverse array of quantum structures, the established equivalence categorically bridges unital involutive m-semilattices with a broad spectrum of quantum formalisms. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_17004 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices Putra, Juanda Kelana Smolka, Richard Logic 81P10, 03G12, 06F07, 06A12 This paper reveals a categorical equivalence connecting two distinct quantum logic structures. The first is the orthomodular lattice, an algebraic system designed to formalize the properties of quantum systems. The second is a finitary orthomodular dynamic algebra, a specialized development of the orthomodular dynamic algebra where the underlying quantum actions are restricted to be finitary. The applicability of the result extends to more specialized lattices, such as Hilbert lattices of closed subspaces of a Hilbert space, beyond general orthomodular lattices. As these lattice structures exhibit connections to a diverse array of quantum structures, the established equivalence categorically bridges unital involutive m-semilattices with a broad spectrum of quantum formalisms. |
| title | Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices |
| topic | Logic 81P10, 03G12, 06F07, 06A12 |
| url | https://arxiv.org/abs/2604.17004 |