← Constitution as Colimit

The Apparatus

Appendix — Constitution as Colimit. For mathematicians. Full proofs in the GitHub repository.

What this page is. The five theorems below are the formal core of the framework — the mathematics that connects the three axioms to quantum mechanics. Each theorem builds on the previous: cocompleteness proves that constitution always produces a result; enrichment gives interference; the path sum identity connects to the path integral; phase invariance gives gauge structure; the tensor product gives entanglement. The results are standard applications of known category theory and module theory, deployed in a new physical context. No human mathematician has independently verified the proofs. The significance is interpretive, not mathematical.

The mathematical apparatus describes the measurement interface — what discrete observation extracts from the continuous constitutional process. The base category at the quantum grain is Vectℂ. The “discrete” appearance is dimensional (finite number of independent directions), not value-level. Finite-dimensionality reflects measurement resolution, not ontological discreteness.

Setup

Each entity is modeled as a coalgebra for a parameterized Moore machine functor. The full Mealy machine functor FΣ(S) = Σ × (Σ → S) preserves outputs. The dynamics-only functor GΣ(S) = (Σ → S) retains only the transition map.

F vs. G: FΣ fails to produce ℂ-enrichment. The output-preservation condition forces morphisms into an affine subspace (λ + μ = 1), not a linear one — the zero map fails because out2(0) = 0 ≠ out1(v). GΣ succeeds: the transition-commuting condition is preserved under arbitrary linear combination, and the zero map satisfies it trivially.

Interpretive consequence: Quantum structure emerges from dynamics, not from observation. The output map breaks enrichment. At the quantum grain, the framework uses GΣ. When Σ = ℂ: Gℂ(V) = Hom(ℂ, V) ≅ V, giving the category of ℂ[x]-modules — vector spaces with a linear endomorphism.

Theorem 1 — Cocompleteness

Coalg(FΣ) has all colimits.

Proof: FΣ is an accessible endofunctor on Set and preserves weak pullbacks. Set is locally presentable. By Adamek & Rosicky (1994, Theorem 2.75), Coalg(FΣ) is locally presentable and cocomplete, with the forgetful functor U strictly creating colimits. At the quantum grain, Coalg(Gℂ) = ℂ[x]-Mod, and cocompleteness follows independently from standard module theory.

Significance: Without cocompleteness, constitution-as-colimit is undefined. Colimits might not exist. This theorem proves they always do.

Theorem 2 — ℂ-Enrichment

Coalg(Gℂ) = ℂ[x]-Mod is ℂ-enriched.

Proof: Hom-sets between ℂ[x]-modules inherit ℂ-vector space structure from pointwise operations. Composition distributes over addition in both arguments (bilinearity). The identity morphism serves as the unit.

Significance: Enrichment gives interference. The enriched hom-space sum — summing morphism chains through a diagram — produces the amplitude. This is the path integral.

Gap: enrichment is not Hilbert space. ℂ-enrichment gives vector space structure on hom-sets, not Hilbert space structure on state spaces. The derivation chain (ℂ → enrichment → Hilbert space → Gleason → Born rule) has an unacknowledged step: the inner product on state spaces is not derived from enrichment. It is imported from the dagger structure (Theorem 5), which in turn depends on unitarity from perspectivalism. The full chain should be stated as: ℂ-enrichment + perspectivalism (unitarity) + dagger structure → inner product → Hilbert space → Gleason → Born rule. The enrichment-to-inner-product step is not independently derived.

Theorem 3 — Discrete Path Sum Identity

Note on labeling: This result is more accurately described as an observation about composition in an enriched category than a theorem requiring proof. It is the definition of enriched composition, rewritten in path-integral notation. The identification is exact, but the mathematical content is modest.

The enriched hom-space computation IS the discrete path integral.

K(S, D) = Σchains Πmorphisms (coefficient along chain)

Each chain is a path. Each morphism coefficient is a phase weight. The product is the accumulated phase. The sum is the integral over paths. For finite-dimensional systems, this computation has the algebraic form of a discrete (lattice) path integral — the identification is exact, not approximate.

Open: The continuous limit — whether this discrete identity converges to the Feynman path integral in the continuum — remains unresolved. Relevant for field theory; not needed for finite-dimensional QM.

Theorem 4 — Phase Invariance

Note on labeling: This result is a one-line consequence of ℂ-enrichment (Theorem 2). Scalar multiplication commutes with linear maps. Labeling it a separate theorem alongside Theorems 1, 2, and 5 inflates the apparent mathematical content.

The constitutional structure is invariant under ℂ* = GL(1,ℂ) phase rotation.

Proof: Scalar multiplication by eiθ commutes with all linear maps. The intertwining condition (h ∘ δ1 = δ2 ∘ h) is trivially preserved.

Global → Local: For U(1), independent per-node phase rotations also preserve intertwining because the scalar factor commutes with both δ1 and δ2. This is automatic for abelian U(1). For non-abelian SU(n), independent basis rotations do NOT preserve intertwining — compensating factors are algebraically necessary. This is the categorical origin of non-abelian gauge connections.

Physical restriction: The mathematical invariance is ℂ* (rotation + rescaling). The physical gauge group is U(1) because perspectivalism distinguishes magnitude (objective, measures persistence) from phase (perspectival, depends on position). Only U(1) changes phase without changing magnitude.

Open: Physical local gauge invariance requires differential structure (covariant derivatives, spacetime dependence) not yet possessed by the algebraic framework. The Grothendieck construction is the candidate tool. Not executed.

Theorem 5 — Tensor Product

ℂ[x] carries a bialgebra structure with Δ(x) = x ⊗ x and ε(x) = 1. This induces an external tensor product on ℂ[x]-Mod. Note: Δ(x) = x ⊗ x is one of infinitely many possible comultiplication choices on ℂ[x]. The axioms do not select it — it is a modeling decision, chosen because it produces the standard quantum-mechanical tensor product. This choice should be understood as a structural input, not a derivation. Correction: ℂ[x] with this comultiplication is a bialgebra, not a Hopf algebra — there is no antipode because x is not invertible in ℂ[x]. Extending to ℂ[x, x−1] (Laurent polynomials) would provide the antipode S(x) = x−1 and make it a genuine Hopf algebra. This distinction directly impacts the path to compact closure. Additionally, Δ(x) = x ⊗ x is a group-like comultiplication (modeling multiplicative dynamics), not a primitive comultiplication Δ(x) = x ⊗ 1 + 1 ⊗ x (which would model additive energies/Hamiltonians). The physical justification for the group-like choice has not been given.

Construction: Given coalgebras (V1, δ1) and (V2, δ2), the tensor product has state space V1 ⊗ℂ V2 and dynamics δ1 ⊗ δ2. Dimensions multiply.

Proved:

Open — priority formalization target: Compact structure (duals + snake equations). Without compact closure, the framework cannot connect to the productive core of categorical quantum mechanics: the graphical calculus, teleportation protocols, and error correction. This is the most important formalization gap in the apparatus. Also open: Frobenius algebras for classical data. Interaction dynamics — how constitutional events produce specific entangled states from product states.

Enrichment ≠ Colimit

The original formal paper conflated two mechanisms. They are distinct:

Double-slit micro-example: Four Gℂ-coalgebras forming a diamond diagram S → A → D, S → B → D. Two composite morphisms with phases eiφ1 and eiφ2. Enrichment: their sum gives the interference pattern. Colimit: when the phases perfectly cancel (φ1 − φ2 = π), the quotient is 0 (fully destructive). The Born rule bridges: |amplitude|² > 0 means the colimit forms. |amplitude|² = 0 means it does not.

Review Status

The axioms motivate the modeling choices (coalgebras, ℂ as ground field, perspectivalism) but do not formally entail them. The theorems follow from the choice of specific functors on specific categories. The axioms provide philosophical motivation for those choices. Whether structural motivation constitutes explanation is the framework’s most persistent credibility question.

The computations are valid within the chosen categorical setting. Mathematicians will likely view these as routine applications of known results (Adamek-Rosicky, module theory, Hopf algebra theory) deployed in a new physical context. The interpretive significance — connecting these structures to emergence and quantum mechanics — is the contribution, not the mathematics itself.

Sources

Coalgebra cocompleteness -- Adamék, J. & Rosický, J. (1994), Locally Presentable and Accessible Categories, Cambridge University Press, Theorem 2.75. Enriched categories -- Kelly, G.M. (1982/2005), Basic Concepts of Enriched Category Theory, Cambridge University Press / TAC Reprints. Tsirelson bound -- Cirel’son, B.S. (1980), Lett. Math. Phys. 4(2), 93–100. Path integral -- Feynman, R.P. (1948), “Space-Time Approach to Non-Relativistic Quantum Mechanics,” Rev. Mod. Phys. 20(2), 367–387. Gleason’s theorem -- Gleason, A.M. (1957), J. Math. Mech. 6(6), 885–893. CKW monogamy -- Coffman, V., Kundu, J. & Wootters, W.K. (2000), Phys. Rev. A 61, 052306. SLOCC entanglement -- Dür, W., Vidal, G. & Cirac, J.I. (2000), Phys. Rev. A 62, 062314. Universal coalgebra -- Rutten, J.J.M.M. (2000), Theoretical Computer Science 249(1), 3–80.

← The Pattern Next: The Questions →