Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices

Juanda Kelana Putra, Richard Smolka

Pith reviewed 2026-05-10 06:40 UTC · model grok-4.3

classification 🧮 math.LO

keywords orthomodular latticefinitary dynamic algebracategorical equivalencequantum logicHilbert lattice

0 comments

The pith

Orthomodular lattices are categorically equivalent to finitary orthomodular dynamic algebras

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a categorical equivalence between orthomodular lattices, algebraic structures that capture the logical properties of quantum systems, and finitary orthomodular dynamic algebras, where quantum actions are limited to finitary ones. This equivalence is realized by functors that map one structure to the other while preserving all operations, relations, and quantum-relevant features. The result extends beyond general cases to specialized structures such as Hilbert lattices formed by closed subspaces of a Hilbert space. A sympathetic reader would care because it shows that two different algebraic descriptions of quantum logic are interchangeable in a precise category-theoretic sense, allowing results to transfer between them. It also links these to a wider collection of quantum formalisms through unital involutive m-semilattices.

Core claim

The authors prove that the category of orthomodular lattices is equivalent to the category of finitary orthomodular dynamic algebras. They construct functors in each direction that are inverses up to natural isomorphism and that preserve the orthomodular operations along with the finitary character of the actions.

What carries the argument

The pair of functors that translate orthomodular lattice operations into finitary dynamic algebra actions and back while preserving all structure.

Load-bearing premise

Restricting actions to be finitary in the dynamic algebras is enough to capture every orthomodular lattice, and the category functors preserve all relevant quantum properties without loss.

What would settle it

An orthomodular lattice with no corresponding finitary orthomodular dynamic algebra under the given functors, or a preserved quantum property that fails to map across the equivalence.

read the original abstract

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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper proves a new categorical equivalence linking finitary orthomodular dynamic algebras to orthomodular lattices including Hilbert ones, though the finitary limit may need scrutiny for infinite structures.

read the letter

The paper establishes a categorical equivalence between finitary orthomodular dynamic algebras and orthomodular lattices. It also claims this works for Hilbert lattices. That's the core result. They define the structures and construct functors going both ways that compose to the identity. The finitary restriction on the dynamic algebras is key, limiting the quantum actions to finite ones. This seems to allow a clean equivalence while still covering the lattice properties. What stands out is the extension to Hilbert lattices, which are important in quantum mechanics as they model closed subspaces. Connecting dynamic algebras to these could help in formalizing quantum operations algebraically. The proof details aren't in the abstract, but assuming the full paper has the constructions and verifications, it looks like a direct proof without circularity. The citation pattern seems standard for the field. A potential issue is whether the finitary condition is sufficient for essential surjectivity. For lattices with infinite joins, like in infinite-dimensional spaces, the generated finitary actions might not produce all elements unless the paper shows a way to approximate or close under finite operations to get the full structure. The stress-test concern is valid to check against the actual definitions in the paper. If the functors preserve the infinite aspects properly, it's fine; otherwise, it might only hold for finite-dimensional cases despite the claim. Overall, this is targeted at researchers in quantum logic and categorical algebra. Someone looking for bridges between different formalisms in foundations of quantum theory would find it relevant. I think it deserves peer review. The equivalence is a concrete result that could be built upon, even if revisions are needed for clarity on the infinite case.

Referee Report

1 major / 0 minor

Summary. The paper claims to prove a categorical equivalence between the category of orthomodular lattices (OML) and the category of finitary orthomodular dynamic algebras (FOMDA). It constructs functors F: OML → FOMDA and G: FOMDA → OML such that FG ≅ id and GF ≅ id naturally, with the result asserted to hold for general OML and to extend to Hilbert lattices of closed subspaces of a Hilbert space, thereby linking these structures to unital involutive m-semilattices and other quantum formalisms.

Significance. If the claimed equivalence holds with the required natural isomorphisms, the result would be significant for quantum logic by providing a categorical bridge between two independently motivated algebraic frameworks. This could enable transfer of structural results, properties, and constructions between OMLs and dynamic algebras, with direct relevance to Hilbert lattices that model quantum mechanics.

major comments (1)

The construction of the functor F from an arbitrary orthomodular lattice L (including those with infinite orthogonal families, such as projection lattices of infinite-dimensional Hilbert spaces) to a finitary orthomodular dynamic algebra must be shown to be essentially surjective under G. The finitary restriction on actions (via finite support or finite compositions) risks failing to recover all elements of L under the inverse functor if infinite suprema are required; the manuscript's assertion that the equivalence extends to Hilbert lattices requires explicit verification of this step to confirm the central claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. The major comment is addressed below, and we will revise the paper to incorporate the requested explicit verification.

read point-by-point responses

Referee: The construction of the functor F from an arbitrary orthomodular lattice L (including those with infinite orthogonal families, such as projection lattices of infinite-dimensional Hilbert spaces) to a finitary orthomodular dynamic algebra must be shown to be essentially surjective under G. The finitary restriction on actions (via finite support or finite compositions) risks failing to recover all elements of L under the inverse functor if infinite suprema are required; the manuscript's assertion that the equivalence extends to Hilbert lattices requires explicit verification of this step to confirm the central claim.

Authors: We agree that explicit verification of essential surjectivity (GF ≅ id) is necessary, particularly for OMLs with infinite orthogonal families and for the Hilbert lattice case. Although the finitary actions in F are generated via finite compositions and supports from L, the recovery under G uses the orthomodular axioms to reconstruct all elements, including via infinite suprema expressed through the dynamic structure. We acknowledge that the original submission asserted the result for general OMLs and Hilbert lattices without a fully expanded proof of this step for the infinite case. We will revise by adding a dedicated subsection proving that every element of L is recovered under G, demonstrating that the finitary restriction does not prevent recovery of infinite joins due to the orthomodularity allowing reduction where needed. A separate verification paragraph will be included for Hilbert lattices of closed subspaces, confirming compatibility with infinite-dimensional settings. revision: yes

Circularity Check

0 steps flagged

No circularity: direct proof of categorical equivalence between independently defined structures

full rationale

The paper constructs functors between the category of orthomodular lattices (OML) and the category of finitary orthomodular dynamic algebras (FOMDA), then verifies that the compositions are naturally isomorphic to the identities. These constructions proceed from the standard algebraic definitions of the two structures without any self-referential definitions, parameter fitting, or load-bearing reliance on prior self-citations. The finitary restriction is introduced explicitly as part of the FOMDA definition, and the equivalence proof addresses preservation of structure (including for Hilbert lattices) via direct verification rather than by renaming or smuggling in assumptions. No step reduces by construction to its own inputs; the result is a standard category-theoretic equivalence theorem whose validity stands or falls on the explicit functor definitions and naturality checks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities; the result relies on standard definitions of orthomodular lattices, dynamic algebras, and category theory from prior literature.

pith-pipeline@v0.9.0 · 5415 in / 998 out tokens · 33747 ms · 2026-05-10T06:40:12.904772+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references · 1 canonical work pages

[1]

International Journal of Theoretical Physics44(12), 2267–2282 (2005)

Baltag, A., Smets, S.: Complete Axiomatizations for Quantum Actions. International Journal of Theoretical Physics44(12), 2267–2282 (2005)

2005
[2]

M., Kishida, K., Sack, J., and Zhong, S

Bergfeld, J. M., Kishida, K., Sack, J., and Zhong, S. (2015). Duality for the Logic of Quantum Actions. Studia Logica,103(4), 781–805.https://doi.org/10.1007/ s11225-014-9592-x

2015
[3]

Botur, M., Paseka, J., and Lekár, M. (2025). Foulis m-semilattices and their modules. In Proceed- ings of the 55th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2025). IEEE Computer Society.https://arxiv.org/abs/2501.01405

work page arXiv 2025
[4]

International Journal of Theoretical Physics 43(7–8), 1705–1736 (2004)

Coecke, B., Smets, S.: The Sasaki Hook Is Not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One that Assigns Causes. International Journal of Theoretical Physics 43(7–8), 1705–1736 (2004)

2004
[5]

Kalmbach, Orthomodular Lattices

G. Kalmbach, Orthomodular Lattices. Academic Press, London, 1983

1983
[6]

Kishida K., Rafiee Rad S., Sack J., Zhong S.: Categorical equivalence between orthomodular dy- namic algebras and complete orthomodular lattices, Internat. J. Theoret. Phys. (2017), 4060–4072

2017
[7]

Kruml, D., Paseka, J.: Algebraic and categorical aspects of quantales, In: Handbook of Algebra, V ol. 5, pp. 323–362. Elsevier (2008)

2008
[8]

I.: Quantales and Their Applications

Rosenthal, K. I.: Quantales and Their Applications. Longman Scientific & Technical, Harlow (1990). 27

1990
[9]

Archivum Mathematicum, V ol

Paseka, J.: Reguler and Normal Quantales. Archivum Mathematicum, V ol. 22, No. 4, pp. 203–210 (1986)

1986
[10]

Rosenthal, K.I.: The Theory of Quantaloids, Pitman Research Notes in Mathematics Series 348, Longman Scientific & Technical (1996)

1996
[11]

Journal of Science of Hiroshima University, Series A17, 293–302 (1954)

Sasaki, U.: Orthocomplemented Lattices Satisfying the Exchange Axiom. Journal of Science of Hiroshima University, Series A17, 293–302 (1954)

1954
[12]

Studia Logica, Springer Nature B.V (2024)

Soroush R.R, Joshua S and Shengyang Z: Enriched Quantales Arising from Complete Orthomodular Lattices. Studia Logica, Springer Nature B.V (2024)

2024
[13]

In: Engesser, K., Gabbay, D

Stubbe, I., van Steirteghem, B.: Propositional Systems, Hilbert Lattices and Generalized Hilbert Spaces. In: Engesser, K., Gabbay, D. M., Lehmann, D. (eds.) Handbook of Quantum Logic and Quantum Structures, pp. 477–523. Elsevier, Amsterdam (2007)

2007