Quantum Monadic Algebras

• Quantum Monadic Algebras are orthomodular lattices equipped with an existential quantifier that satisfies Halmos-style axioms, bridging classical Boolean and quantum logics.
• They use operator-algebra realizations from von Neumann algebras and approximating subalgebras to provide a robust algebraic semantics for quantum predicate logic.
• Equivalent presentations via bounded quasi-implication algebras demonstrate categorical isomorphism and reveal deep structural insights into quantification in the quantum setting.

Searching arXiv for the most relevant papers on quantum monadic algebras and closely related categorical/quantum-monadic frameworks. Quantum monadic algebras are algebraic structures intended to model quantification in quantum logic. In the sense introduced in “Quantum monadic algebras” (Harding, 2022), a quantum monadic algebra is a monadic ortholattice $(L,\exists)$ whose lattice reduct is an orthomodular lattice, so that Halmos-style monadic operators are transported from the Boolean setting to the non-distributive setting of orthomodular logic. Their stated role is to provide an algebraic semantics for quantum predicate logic, with primary examples coming from von Neumann algebras and subfactors. Later work showed that the same theory admits an equivalent presentation in terms of bounded quasi-implication algebras with an additional operator, yielding an isomorphism between the category of quantum monadic algebras and the category of monadic quasi-implication algebras (McDonald, 23 Jul 2025).

1. Terminological scope and historical point of departure

The term arises from the extension of Halmos’s monadic algebras to quantum logic. Classically, a monadic algebra is a Boolean algebra $(B,\exists)$ in which $\exists$ satisfies

$$(Q_1)\ \exists 0=0,\qquad (Q_2)\ p\le \exists p,\qquad (Q_3)\ \exists(p\vee q)=\exists p\vee \exists q,$$

$$(Q_4)\ \exists\exists p=\exists p,\qquad (Q_5)\ \exists(\exists p)^\perp=(\exists p)^\perp,$$

with the equivalent axiom

$$(Q_6)\qquad \exists(p\wedge \exists q)=\exists p\wedge \exists q.$$

In the quantum setting, the Boolean algebra is replaced by an ortholattice or orthomodular lattice, while the quantifier axioms are retained (Harding, 2022).

This terminology is not uniform across nearby literature. The following usages are distinct.

Setting	Structure	Role
Orthomodular-lattice setting	Quantum monadic algebra	Algebraic semantics for quantification in quantum predicate logic
Quasi-implication setting	Monadic quasi-implication algebra	Equivalent presentation of the same theory
Cohesive $\infty$-topos setting	Quantum modality $Q^{\diamond}$	Comonadic decoherence semantics, not a new algebraic variety by that name

In particular, “A Cohesive $\infty$-Topos with a Quantum Modality from Finite-Dimensional $C^{*}$-Algebras” explicitly states that it does not introduce a new algebraic variety called “quantum monadic algebras”; instead it constructs a comonadic quantum modality whose coalgebras recover a classical algebraic core (Woo, 1 Jun 2026). That distinction matters because the orthomodular-lattice notion is genuinely monadic in the algebraic-logical sense, whereas the cohesive-topos construction is coalgebraic.

2. Axiomatic definition and internal structure

A monadic ortholattice is an ortholattice $(B,\exists)$0 equipped with a unary operation $(B,\exists)$1 satisfying $(B,\exists)$2–$(B,\exists)$3. It is a quantum monadic algebra when $(B,\exists)$4 is additionally an orthomodular lattice (Harding, 2022). In later reformulation, the same point is stated as follows: a quantum monadic algebra is an orthomodular lattice equipped with a closure operator, known as a quantifier, whose closed elements form an orthomodular sub-lattice (McDonald, 23 Jul 2025).

The operator $(B,\exists)$5 is extensive, idempotent, and join-preserving, with an additional compatibility condition with orthocomplementation. The associated universal operator is defined by

$(B,\exists)$6

In a monadic ortholattice one has the residuation property

$(B,\exists)$7

Accordingly, $(B,\exists)$8 preserves all existing joins and $(B,\exists)$9 preserves all existing meets (Harding, 2022).

The fixed points of $\exists$0 are the closed elements. Because of condition $\exists$1, the closed part is stable under orthocomplementation, and the closed elements form an orthomodular sublattice (McDonald, 23 Jul 2025). This substructure is the algebraic locus on which quantification has stabilized.

A fundamental caution is that the Boolean-derived law

$\exists$2

does not hold in general in a quantum monadic algebra; likewise,

$\exists$3

does not hold in general (McDonald, 23 Jul 2025). The quantum theory therefore preserves the monadic core of Halmos’s framework, but not the distributive behavior that would be automatic in Boolean algebras.

3. Approximating subalgebras and operator-algebraic realizations

A central structural interpretation is that monadic operators arise from approximating subalgebras. A subalgebra $\exists$4 of an ortholattice $\exists$5 is approximating if, for every $\exists$6, there is a largest $\exists$7 below $\exists$8 and a least $\exists$9 above $$(Q_1)\ \exists 0=0,\qquad (Q_2)\ p\le \exists p,\qquad (Q_3)\ \exists(p\vee q)=\exists p\vee \exists q,$$0. In that case,

$$(Q_1)\ \exists 0=0,\qquad (Q_2)\ p\le \exists p,\qquad (Q_3)\ \exists(p\vee q)=\exists p\vee \exists q,$$1

Conversely, if $$(Q_1)\ \exists 0=0,\qquad (Q_2)\ p\le \exists p,\qquad (Q_3)\ \exists(p\vee q)=\exists p\vee \exists q,$$2 is an existential quantifier, then

$$(Q_1)\ \exists 0=0,\qquad (Q_2)\ p\le \exists p,\qquad (Q_3)\ \exists(p\vee q)=\exists p\vee \exists q,$$3

is an approximating subalgebra (Harding, 2022). The quantifier may therefore be read as an approximation operator into a designated “classical” or “observable” region of the lattice.

The natural examples emphasized in the literature come from operator algebras. If $$(Q_1)\ \exists 0=0,\qquad (Q_2)\ p\le \exists p,\qquad (Q_3)\ \exists(p\vee q)=\exists p\vee \exists q,$$4 is a von Neumann subalgebra, then $$(Q_1)\ \exists 0=0,\qquad (Q_2)\ p\le \exists p,\qquad (Q_3)\ \exists(p\vee q)=\exists p\vee \exists q,$$5 is a complete sub-ortholattice of $$(Q_1)\ \exists 0=0,\qquad (Q_2)\ p\le \exists p,\qquad (Q_3)\ \exists(p\vee q)=\exists p\vee \exists q,$$6, and the existential quantifier is

$$(Q_1)\ \exists 0=0,\qquad (Q_2)\ p\le \exists p,\qquad (Q_3)\ \exists(p\vee q)=\exists p\vee \exists q,$$7

The subalgebra $$(Q_1)\ \exists 0=0,\qquad (Q_2)\ p\le \exists p,\qquad (Q_3)\ \exists(p\vee q)=\exists p\vee \exists q,$$8 then plays the role of the quantified part of the logic (Harding, 2022).

The center gives a second canonical example. For $$(Q_1)\ \exists 0=0,\qquad (Q_2)\ p\le \exists p,\qquad (Q_3)\ \exists(p\vee q)=\exists p\vee \exists q,$$9, the least central projection above $$(Q_4)\ \exists\exists p=\exists p,\qquad (Q_5)\ \exists(\exists p)^\perp=(\exists p)^\perp,$$0 is the central carrier of $$(Q_4)\ \exists\exists p=\exists p,\qquad (Q_5)\ \exists(\exists p)^\perp=(\exists p)^\perp,$$1. Corners $$(Q_4)\ \exists\exists p=\exists p,\qquad (Q_5)\ \exists(\exists p)^\perp=(\exists p)^\perp,$$2 furnish further examples, as do inclusions $$(Q_4)\ \exists\exists p=\exists p,\qquad (Q_5)\ \exists(\exists p)^\perp=(\exists p)^\perp,$$3 of von Neumann subalgebras, especially subfactors. In the finite-index case, if $$(Q_4)\ \exists\exists p=\exists p,\qquad (Q_5)\ \exists(\exists p)^\perp=(\exists p)^\perp,$$4 is the trace-preserving conditional expectation, then

$$(Q_4)\ \exists\exists p=\exists p,\qquad (Q_5)\ \exists(\exists p)^\perp=(\exists p)^\perp,$$5

This identifies quantification with a projection-theoretic closure computed through conditional expectation (Harding, 2022).

Universal-algebraically, every quantum monadic algebra $$(Q_4)\ \exists\exists p=\exists p,\qquad (Q_5)\ \exists(\exists p)^\perp=(\exists p)^\perp,$$6 is congruence distributive and congruence permutable, and its congruences correspond to ideals $$(Q_4)\ \exists\exists p=\exists p,\qquad (Q_5)\ \exists(\exists p)^\perp=(\exists p)^\perp,$$7 of $$(Q_4)\ \exists\exists p=\exists p,\qquad (Q_5)\ \exists(\exists p)^\perp=(\exists p)^\perp,$$8 satisfying

$$(Q_4)\ \exists\exists p=\exists p,\qquad (Q_5)\ \exists(\exists p)^\perp=(\exists p)^\perp,$$9

These are the $$(Q_6)\qquad \exists(p\wedge \exists q)=\exists p\wedge \exists q.$$0-ideals governing congruences in orthomodular lattices (Harding, 2022).

4. Quantum predicate logic and cylindric development

The stated logical purpose of quantum monadic algebras is to algebraize quantification in quantum predicate logic (Harding, 2022). The basic semantic domain is the orthomodular lattice of closed subspaces

$$(Q_6)\qquad \exists(p\wedge \exists q)=\exists p\wedge \exists q.$$1

of a Hilbert space $$(Q_6)\qquad \exists(p\wedge \exists q)=\exists p\wedge \exists q.$$2. For a tensor product $$(Q_6)\qquad \exists(p\wedge \exists q)=\exists p\wedge \exists q.$$3, quantification over one factor is defined by the complete subalgebra $$(Q_6)\qquad \exists(p\wedge \exists q)=\exists p\wedge \exists q.$$4: if $$(Q_6)\qquad \exists(p\wedge \exists q)=\exists p\wedge \exists q.$$5, then

$$(Q_6)\qquad \exists(p\wedge \exists q)=\exists p\wedge \exists q.$$6

is the least element of $$(Q_6)\qquad \exists(p\wedge \exists q)=\exists p\wedge \exists q.$$7 above $$(Q_6)\qquad \exists(p\wedge \exists q)=\exists p\wedge \exists q.$$8.

The construction is made explicit by choosing an orthonormal basis $$(Q_6)\qquad \exists(p\wedge \exists q)=\exists p\wedge \exists q.$$9 of $\infty$0 and defining

$\infty$1

This is presented as the quantum analogue of existential quantification by projection onto a coordinate (Harding, 2022).

For multiple tensor factors, the corresponding quantifiers commute: $\infty$2 Hence, for a family $\infty$3, the closed-subspace lattice of

$\infty$4

becomes an $\infty$5-dimensional diagonal-free quantum cylindric algebra (Harding, 2022).

The cylindric part of the theory is more delicate than the monadic part. For equal tensor factors $\infty$6, diagonal subspaces $\infty$7 are defined using symmetry under permutations of tensor coordinates and satisfy identities such as

$\infty$8

and

$\infty$9

However, the classical substitution mechanism can fail. In particular,

$Q^{\diamond}$0

need not hold (Harding, 2022). The monadic fragment transfers cleanly to orthomodular logic because its axioms are purely order-theoretic; the full cylindric apparatus does not.

5. Equivalent presentations, Sasaki implication, and frame semantics

A later reformulation translates the theory into bounded quasi-implication algebras. A bounded quasi-implication algebra is a quasi-implication algebra $Q^{\diamond}$1 with a constant $Q^{\diamond}$2 such that

$Q^{\diamond}$3

where

$Q^{\diamond}$4

is well-defined and the induced order is

$Q^{\diamond}$5

The relevant implication on an orthomodular lattice is Sasaki implication,

$Q^{\diamond}$6

which satisfies Hardegree’s implicational laws (McDonald, 23 Jul 2025).

A monadic quasi-implication algebra is an algebra $Q^{\diamond}$7 in which $Q^{\diamond}$8 is bounded quasi-implication and $Q^{\diamond}$9 satisfies the axioms

$\infty$0

$\infty$1

$\infty$2

From these axioms, $\infty$3 is idempotent (McDonald, 23 Jul 2025).

The translation is exact. If $\infty$4 is a quantum monadic algebra, then

$\infty$5

is a monadic quasi-implication algebra. Conversely, if $\infty$6 is a monadic quasi-implication algebra, then

$\infty$7

is a quantum monadic algebra, with

$\infty$8

The resulting categories $\infty$9 and $C^{*}$0 are isomorphic (McDonald, 23 Jul 2025).

Representation theory also proceeds through frame constructions. In one approach, an orthoframe $C^{*}$1 yields the complete ortholattice

$C^{*}$2

A monadic orthoframe $C^{*}$3 adds a reflexive transitive relation $C^{*}$4 satisfying

$C^{*}$5

and defines

$C^{*}$6

Then

$C^{*}$7

is a monadic ortholattice. Every monadic ortholattice embeds into such an $C^{*}$8, and every complete monadic ortholattice is isomorphic to one (Harding, 2022).

The quasi-implication reformulation produces parallel monadic frame constructions. For a monadic quasi-implication algebra, the monadic MacLaren frame is built on $C^{*}$9 with

$(B,\exists)$00

and the monadic Goldblatt frame is built on proper filters $(B,\exists)$01 with

$(B,\exists)$02

$(B,\exists)$03

Both constructions yield monadic orthoframes (McDonald, 23 Jul 2025).

6. Related monadic and comonadic quantum structures

Quantum monadic algebras in the orthomodular-lattice sense should be distinguished from several adjacent developments.

One neighboring line concerns weakly involutive quantum $(B,\exists)$04-algebras. There, existential and universal quantifiers are defined on weakly involutive unital quantum $(B,\exists)$05-algebras, there is a one-to-one correspondence between existential and universal quantifiers, and any synchronized pair $(B,\exists)$06 is a strict monadic operator (Ciungu, 2020). This is a monadic quantifier theory, but it is not the orthomodular-lattice theory of quantum monadic algebras.

A second neighboring line is categorical rather than lattice-theoretic. The quantum instrument monad $(B,\exists)$07 is introduced as a noncommutative generalization of the classical state monad; both its finitary set-based version and its measure-theoretic version are strong monads (Fritz, 26 Jun 2026). Its purpose is to model computations interacting with a fixed quantum system via quantum instruments, not to provide the orthomodular quantifier semantics of quantum predicate logic.

A third neighboring line is explicitly comonadic. In the cohesive $(B,\exists)$08-topos

$(B,\exists)$09

the quantum modality is the idempotent product-preserving comonad

$(B,\exists)$10

defined by precomposition with the center functor. Its coalgebras are equivalent, via Gelfand duality, to

$(B,\exists)$11

and are interpreted as discrete classical field theories (Woo, 1 Jun 2026). The paper explicitly notes that this is the closest analogue there to “quantum monadic algebras,” but the resulting semantics is coalgebraic rather than monadic.

The principal misconception is therefore terminological. In the strict algebraic-logical sense established in (Harding, 2022) and reformulated in (McDonald, 23 Jul 2025), quantum monadic algebras are orthomodular lattices with a quantifier satisfying the monadic axioms. In nearby categorical and noncommutative settings, related structures may be monads, comonads, or quantifier pairs on other nonclassical algebras, but they are not the same object. The orthomodular theory remains distinguished by three features: quantifier axioms of Halmos type, operator-algebraic realizations through projections and subalgebras, and a direct role in algebraic semantics for quantum predicate logic.