Axiom Ω⁷
This chapter presents the axiomatic core of the theory: five axioms from which everything else follows—space, time, dynamics, consciousness thresholds, and even gravitation.
Central claim. UHM asserts that reality is described by an -topos of sheaves on a chosen site, and that this -topos is the sole primitive of the theory. Whatever exists is an object or a morphism in this topos. There is nothing “beyond” it.
What is an -topos, informally? Picture a “world” in which objects are related not only by arrows (as cities by roads), but by an infinite hierarchy of relations: arrows between arrows, arrows between those, and so on. The ordinary world is a “flat map”: either there is a road from city A to city B or there is not. An -topos is a “volumetric map” in which every route has variants, those variants have further variants, ad infinitum. That infinite depth of relations is needed to describe quantum states (everything coupled to everything) and consciousness (a system observing itself, observing observation, and so on).
Chapter structure. We first state five axioms explicitly (“Honest Axiomatics”), then show how they determine the sole primitive—the triple . We then derive the subobject classifier (source of logic, Lindblad operators, and time), internal logic, and the main consequences of the theory.
Why five axioms? Fewer are insufficient: without the -topos there is no logic; without Bures there is no distinguishability; without there is no octonionic algebra; without there is no link to physical time; without the tensor decomposition (Page–Wootters) there are no internal clocks. Nor is more needed—all theorems follow from these five.
Honest Axiomatics
UHM is built on explicit axiomatics. Postulates are classified as:
- Axioms — accepted without proof
- Definitions — constructions from axioms
- Theorems — provable consequences
This ensures mathematical honesty and avoids hidden assumptions.
Levels of axiomatics
LEVEL −1: METATHEORETIC CHOICES (not justified internally)
- Language: ∞-categories / HoTT (homotopy type theory)
- Logic: intuitionistic (internal language of the topos)
LEVEL 0: AXIOMS (postulated explicitly)
| Axiom | Statement | Rationale |
|---|---|---|
| Axiom 1 (Structure) | Reality is the ∞-topos over the category of density matrices | ∞-topoi are the most general “spaces” with internal logic |
| Axiom 2 (Metric) | The Grothendieck topology is induced by the Bures metric | Petz classification: Bures is the minimal monotone Riemannian metric on (unique in the classical case by Chentsov; minimal among infinitely many in the quantum case) |
| Axiom 3 (Dimension) | is the dimension of the base Hilbert space | Characterizes the class of systems under study (holons) |
| Axiom 4 (Scale) | — the minimal nonzero eigenvalue of the effective Hamiltonian | Derived spectral property: for any viable system ( no dynamics ). Different holons have different , like different atoms have different masses. See T-186, Cohesive Closure §5.4 |
Theorem T-87 [T] shows that A5 (Page–Wootters) is derivable from A1–A4. Theorems T-186, T-187, and the Hurwitz–Adams–Fano chain derive A1–A4 themselves. T-190 [T] (Axiomatic Closure) completes the circle: all five axioms A1–A5 are theorems derivable from five characterising properties of viable holons — (AP) autopoiesis, (PH) phenomenal identification, (QG) quantum-gravitational consistency, (V) viability, and (MaxEnt) maximum entropy. UHM has zero independent axioms beyond these defining properties. The A1–A5 labeling remains for pedagogy but every “axiom” has the status of a theorem.
The dimension is a fundamental axiom (Axiom 3) with two independent lines of support:
| Track | Justification | Status |
|---|---|---|
| A | Theorem S: (AP)+(PH)+(QG) → N ≥ 7 | [T] Proved |
| B | Structural derivation: P1+P2 → → = 7 | [T] Mathematically rigorous |
The bridge (AP)+(PH)+(QG) → P1+P2 is the full chain T1–T15 [T].
LEVEL 1: DEFINITIONS (built from axioms)
- — subobject classifier (exists by Giraud’s theorem); full structure:
- — canonical atomic predicates (basis projectors generating the decidable fragment )
- — cyclic shift (algebraic structure)
- — Lindblad operators (operator realizations of the characteristic morphisms ; derivation)
LEVEL 2: CONSEQUENCES (provable or argued)
- [T] (critical purity)
- [T] (reflection threshold, from triadic decomposition plus Bayesian dominance)
- [T] (integration threshold, T-129)
- [T] (minimal regeneration from the adjunction)
- PID (Principle of Informational Distinguishability) — definition [O] (T16 [T]): given earnest acceptance of A1 (∞-topos) and A2 (), PID is tautological—distinguishability via -coverings coincides with ontological distinguishability (below)
Structured primitive
The topos with geometry is the structured primitive of UHM.
It is a triple of components forming an irreducible unity (as is one object, not four separate numbers):
- — sheaf ∞-topos (Axiom 1)
- — Grothendieck topology (Axiom 2)
- — fundamental frequency (Axiom 4)
From this primitive one derives:
- State space (objects of the ∞-topos)
- Dynamics (morphisms at all levels)
- Base space (nerve of the category)
- Time (internal modality via the action)
- Metric (spectral geometry)
- Free will (multiplicity of paths in )
- Thresholds , , (from the principle of informational distinguishability—which itself follows from )
Theory parameters:
- — dimension (Axiom 3)
- — fundamental frequency (Axiom 4)
Dimensionless predictions (, , , , Gap profile) do not depend on the absolute scale : under all dimensionless quantities are unchanged. The parameter controls only the map to dimensional physics (masses, energies, lengths).
∞-categorical structure
Why ∞-categories?
Two hikers go from village A to village B. One crosses a pass, the other follows a valley. In ordinary mathematics (a 1-category) we say: “both arrived; the routes differ; done.” In an -category we ask: can one route be smoothly deformed into the other? If a mountain lies between them, no; if the terrain is open, yes. The answer encodes the geometry of the space. Between deformations there are “deformations of deformations” (3-morphisms), and so on. The full hierarchy is not redundant ornament: it encodes quantum phases, gauge equivalences, and levels of self-observation.
In an ordinary (1-)category morphisms are either equal or not. In an ∞-category there are 2-morphisms (homotopies) between morphisms, 3-morphisms between those, and so on.
Key consequence: The terminal object admits many equivalent paths to it, which resolves the problem of teleological determinism.
Source of nontrivial homotopy
The space is contractible as a topological space (a convex subset of a vector space), hence for all . Nontrivial ∞-structure does not arise from the base space alone, but from three sources:
1. Stratification by spectral type. The space stratifies naturally by eigenvalue degeneracy type: where is the stratum of matrices of spectrum type (a partition of 7). Lower-dimensional strata (degenerate spectra) are singularities around which sheaves may have nontrivial monodromy.
2. Loops of CPTP maps. The space is not contractible—it contains nontrivial loops (closed paths in unitary transformations ). The fundamental group yields nontrivial local systems on .
3. Sheaves with nontrivial sections. Concrete sheaves in UHM (e.g. the self-modeling sheaf ) may have nontrivial cohomology even over a contractible base. The link to interiority levels L0–L4 goes through -truncation of sheaves, not through homotopy of the base.
Definition of the UHM ∞-topos
Definition (UHM ∞-topos):
—the category of locally constant ∞-functors from to the category of spaces (∞-groupoids).
Unlike 1-categorical Grothendieck topoi, where must have finite limits (in particular pullbacks) to define intersection of covers, the ∞-categorical construction does not require pullbacks in (Lurie, HTT, Prop. 6.2.2.7). The sheaf category has all (∞,1)-limits and colimits even if does not. It suffices to specify a Grothendieck topology (covers) on .
Representability gap and its resolution. Limits in are abstract topos objects, not necessarily realizable as concrete density matrices . This is not a defect but an architectural decision of UHM:
-
Axiom Ω⁷ postulates the ∞-topos as primitive, not . Physical states are objects of , not .
-
Analogy with AG: global sections of a sheaf on a scheme X need not be "functions on X" — they live in the sheaf category, which is strictly richer. Similarly: composite quantum states are topos objects, not C objects.
-
Sieve stability via CPTP-contractivity of the Bures metric is defined through composition of morphisms (always defined), not through pullbacks of objects. This is the standard method for defining Grothendieck topologies (cf. étale, fppf topology in AG).
-
Entanglement via Day convolution. The tensor product of quantum states is not the Cartesian product in the topos (Abramsky-Coecke theorem: CPTP category is non-Cartesian monoidal). The correct monoidal structure on is given by Day convolution (Day 1970):
Day convolution lifts the monoidal structure from the base category to the sheaf category, preserving non-Cartesianness and hence entanglement. The Bures metric is entangled (Uhlmann 1976) — distinguishes entangled and factorized states at the topological level.
-
Extracting observables. Computing — via global sections of the geometric morphism . For representable objects — coincides with the standard quantum-mechanical trace.
The category with CPTP morphisms is not small (hom-sets may be infinite-dimensional). For HTT Prop. 6.2.2.7 one fixes a skeleton: the category of spectral types, parameterized by the standard simplex with ordered . This category is essentially small, and as ∞-topoi.
Grothendieck topology on
To define “sheaf” (and hence the ∞-topos) one must fix a Grothendieck topology—families of morphisms that constitute covers.
Definition (site ):
The pair is a site, where is the coverage function determined from the Bures metric.
Definition (Bures metric):
For density matrices :
where is the (Uhlmann) fidelity.
We use the chordal form: . Geometric theorems (emergent time) use the angular form: . The two are equivalent: . See Notation.
Definition (Bures cover):
A family of morphisms covers if:
where is the open Bures ball.
Theorem (site axioms):
The topology satisfies Grothendieck’s axioms:
- (Identity) covers
- (Stability) If covers and , then covers
- (Transitivity) Composition of covers is a cover
Proof of stability of covers
If is a -cover of and is a morphism in (CPTP channel), then the sieve covers .
Proof:
- By definition of cover: :
- CPTP is Bures contractive (Chentsov–Petz):
- For any with :
- Since :
- By (1): for some
- Hence factors through , i.e. lies in the sieve
- For all in covers
Key point: CPTP-contractivity of any Petz-admissible metric (a property shared by the whole Petz family, with Bures as its distinguished minimum — see T-187) forces stability of covers. The pair (identity + stability) constitutes a Grothendieck coverage (Johnstone, Elephant C2.1.1); the full Grothendieck topology is then the topology generated by this coverage (Elephant C2.1.10), and transitivity of is automatic from the generation — it does not require a direct ε-δ argument.
Corollary (meaning of “loc”):
The superscript “loc” in means localization at -covers: is a sheaf if for every covering sieve ,
Physical reading:
- Cover family of measurements that “resolve” the state
- Gluing categorical formalization of quantum coherence
- The Bures metric is monotone under CPTP:
Structure of the ∞-topos
Theorem (Lurie):
The ∞-topos has:
- Internal logic: homotopy type theory (HoTT)
- Subobject classifier:
- Limits and colimits: all (∞,1)-limits exist
- Exponentials: for , there is
Relation to the interiority hierarchy
The ∞-groupoid (experiential space) relates to the interiority hierarchy via -truncation.
Homotopical classification [I]:
Levels L0→L4 correspond to -truncations of the ∞-groupoid :
| Level | -truncation | Homotopy groups | Categorical reading |
|---|---|---|---|
| L0 | Discrete set of states | ||
| L1 | Groupoid (phenomenal paths) | ||
| L2 | Bicategory (reflection) | ||
| L3 | Tricategory (meta-reflection) | ||
| L4 | all | Full ∞-structure |
Details: Categorical formalism §10.6.
Corollary (finiteness of the hierarchy):
L4 is maximal (Postnikov stabilization). There is no L5, L6, …
Internal logic
The subobject classifier is the single source of:
- L-dimension (logic) — as
- Lindblad operators — as operator realizations of characteristic morphisms of atomic predicates of (derivation)
- Time — via the temporal modality
L-unification works in the decidable fragment of the full classifier . Basis completeness () closes the derivation of and ensures CPTP compatibility.
Subobject classifier
Definition (classifier):
For any object there is a bijection:
Subobjects of correspond to morphisms into —“logical predicates” on .
For density matrices:
where is the C*-algebra of logical predicates on state space.
Characteristic morphisms and
Definition (characteristic morphism):
For a subobject , its characteristic morphism is
encoding the state’s “degree of membership” in the logically admissible subspace .
Canonical atomic predicates of the classifier
For the base category with the Bures topology, the classifier admits a canonical system of seven atomic predicates:
each predicate being a projector onto a basis vector:
Theorem (decidable fragment of the classifier) [T]
The full subobject classifier is the lattice of opens in the Bures topology (infinite; see categorical formalism). In its logical structure has three tiers:
| Tier | Structure | Description |
|---|---|---|
| ∞-level | HoTT | Full with temporal modality |
| 1-truncation | Heyting algebra | Intuitionistic logic (standard) |
| Decidable fragment | Boolean subalgebra of atomic predicates |
The seven projectors generate the decidable fragment —the maximal Boolean subalgebra of the classifier aligned with the orthogonal basis of :
L-unification operates inside : the characteristic morphisms and the induced operators (below) are defined on the decidable fragment. Basis completeness () ensures that is closed under the derivation and CPTP compatibility.
The full HoTT structure of (beyond ) is strictly necessary: Theorem T-182 proves that each of the three tiers contains theorems unprovable at the preceding tier.
Theorem (Necessity of the three-tier structure of Ω) [T]
Let be the class of UHM theorems provable at the -th tier of the classifier. Then:
where consists of theorems from , from (Heyting algebra), from the full (∞-groupoid).
Proof.
Part I: — threshold predicates require the Heyting algebra.
Step I.1 (Viability predicate is an open set in ). Define the viability predicate:
The purity function , , is continuous in the Bures topology (since for ). The preimage of an open interval under a continuous map is open. Therefore .
Step I.2 ( — formal proof). Elements of are finite unions of atomic predicates : sets of the form for subsets . Every such depends only on the diagonal entries .
But purity depends on the coherences (). Concrete counterexample: take two matrices , with identical diagonals for all , but:
- (all coherences zero): →
- with : →
Since and are indistinguishable by any predicate in (identical ), but differ with respect to , we conclude .
Step I.3 (Heyting connectives for the consciousness criterion). The consciousness criterion is an intersection:
In the Heyting algebra , the intersection of an open and a closed set is a regular open set , where and are the interior and closure operators in . The Heyting implication:
is computed via the Bures-topology interior operator. In the Boolean algebra there is no such operator — it is discrete (every subset is both open and closed), so and the implication trivialises to . The nontrivial content of the implication (which states are borderline between viability and consciousness) is lost.
Concrete example. Consider a boundary state with , . In Heyting logic the predicate evaluates as "false in a neighbourhood of " — the system is viable but not reflexive. In this subtlety is inexpressible.
Part II: — consciousness and dynamics require the full ∞-topos.
(a) Experiential sheaf — detailed construction.
Definition (Experiential space). For each state define the space of experiential states:
where is a quale (point on the projective space of qualitative states), is the context (all dimensions except ).
Singular complex construction. The space is metrisable (via the Fubini–Study metric on ). By Milnor's theorem, its singular complex is a Kan complex, i.e. an ∞-groupoid:
Homotopy groups and interiority levels:
| Group | Geometric meaning | Interiority connection |
|---|---|---|
| Connected components of | L0: how many distinguishable experiential states | |
| Loops in | L1: paths between qualia (phenomenal geometry) | |
| Spheres in | L2: deformations of paths (reflection — observing one's own observation) | |
| 3-spheres in | L3: meta-reflection (observing observation of observation) |
Why is necessary for L2. Reflection — the ability to "observe one's own observation" — is formalised as a 2-morphism:
In a 1-category (or ) there are no 2-morphisms between morphisms: and are either equal or not. In an ∞-category the 2-morphism is a substantive structure encoding how exactly reflection deforms self-observation. This is an element of .
In the Heyting algebra , all for by definition of 0-truncation. Therefore L2 consciousness is inexpressible.
(b) Postnikov tower and SAD_MAX = 3 — full derivation.
The Postnikov tower is the canonical filtration of an ∞-groupoid by "homotopical complexity":
Each projection "kills" all homotopy groups for .
Contraction mechanism. The self-modelling operator on each storey induces . The Fano channel contracts coherences by a factor of (T2.1 [T]): . The contraction acts on the purity of the -th level of reflection:
where is the base reflection. The threshold for SAD is .
Explicit computation of thresholds:
| SAD level | Required purity | Numerical value | Achievable? |
|---|---|---|---|
| ✓ | |||
| ✓ | |||
| ✓ (humans) | |||
| ✗ () |
At : , impossible for normalised matrices (). Therefore the 4th storey of the Postnikov tower is unreachable for any physical state, and SAD_MAX = 3.
Why a 1-topos cannot yield this result. In the 1-topos the Postnikov tower is single-storey: is the only truncation. The question "what is the maximal admitting ?" cannot even be posed — there are no higher homotopies.
(c) Cohomological monism — expanded proof.
Statement. For any sheaf of coefficients on :
where is the geometric realisation of the nerve of .
Step c.1 (Contractibility of the base). The space is a convex subset of , hence contractible: for all . In an ordinary (1-categorical) topos , all cohomology trivially vanishes (every sheaf on a contractible space is acyclic). The theorem is vacuous.
Step c.2 (∞-categorical content — contractibility of Map(Γ, T)). The vanishing on the contractible with constant coefficients is a trivial geometric fact (Poincaré lemma for a convex set). The ∞-categorical content is not in the vanishing itself but in the proof of nerve contractibility , which requires verifying a nontrivial condition: contractibility of morphism spaces .
Lemma (Contractibility of Map(Γ, I/7)) [T]. For any , the space of CPTP channels is contractible.
Proof. The set of CPTP channels with is convex: if and , then , and a convex combination of CPTP channels is a CPTP channel. A convex set is contractible (linear homotopy to a fixed ).
Step c.3 (Nontriviality). The contractibility is not a tautology from base contractibility of . It is an independent statement about the space of morphisms (CPTP channels), which a priori could have nontrivial topology:
- The space of all CPTP channels is convex ⇒ contractible ⇒
- But the space for arbitrary need not be convex (the condition is nonlinear in )
- For convexity is restored (linearity: regardless of the form of )
- This is a nontrivial property of precisely the terminal object
Physical content. Cohomological monism is the categorical formalisation of the second law of thermodynamics: the arrow of time (direction toward ) is unique up to homotopy type. Infinitely many concrete trajectories from to exist, but all are homotopically equivalent. In a 1-category is a set (no topology); in the ∞-category is a space with proven contractibility, which is substantive.
On the contractible space all local systems trivialise (including those induced by ). Berry phases are physically observable, but they are defined on subspaces (non-degenerate spectra), not on all of . The cohomology of with local coefficients is nonzero — this is not a contradiction but a local–global dichotomy: globally (monism), locally (rich structure). Both sides are necessary for the completeness of the theory.
(d) Day convolution — detailed construction and proof.
Problem. Quantum entanglement is fundamentally incompatible with Cartesian monoidal structure. In the category of sets (or a 1-topos), the tensor product is Cartesian: . But for quantum states — the tensor product admits non-separable (entangled) states, which the Cartesian product cannot.
Abramsky–Coecke theorem (2004) [T]: The category of CPTP channels is a symmetric monoidal, but not Cartesian monoidal category. The no-cloning theorem () is a consequence of non-Cartesianness.
Day convolution construction. Let be a monoidal category (CPTP with tensor product). Day convolution (Day 1970) defines a monoidal structure on the sheaf category:
The coend is the categorical analogue of an integral, defined as the universal coequaliser of an ∞-diagram (requires ∞-colimits).
Why . The Cartesian product in a topos:
This does not use the monoidal structure of the base category — it "forgets" entanglement. Day convolution, by contrast, uses — the space of all CPTP channels "splitting" into and . If is entangled, this space is nontrivial; if is separable, it factorises.
Entanglement criterion (Uhlmann 1976). The Bures metric distinguishes:
This distinguishability is preserved by Day convolution (through -spaces) and destroyed by the Cartesian product (which does not see correlations between and ).
Corollary (Physical indispensability of the ∞-topos):
| Tier of | Physical content | Example theorems | Key construction |
|---|---|---|---|
| Structure: basis, operators , CPTP | L-unification [T], [T] | Atomic predicates | |
| (Heyting) | Thresholds: , , criterion | Critical purity [T], viability [T] | Interior operator |
| Full (∞-groupoid) | Dynamics: evolution, hierarchy L0–L4, entanglement | SAD_MAX = 3 [T], [T], Day convolution [T] | Postnikov tower, coends |
The ∞-topos is not a decorative superstructure over the finite algebra , but the minimal categorical framework encompassing all results of UHM.
Gap as holonomy of the ∞-topos connection
Definition (Gap phase space). The 21 coherences () are parametrised by amplitude and phase . The phases live on the compact torus:
Definition (Berry connection on ). Under adiabatic evolution of the state along a parameter , the Berry connection is defined as:
The Berry curvature is the 2-form:
Fano plaquettes. Each Fano line defines a minimal closed surface in — a "plaquette" bounded by the phases , , . The holonomy of the Berry connection around :
The Gap operator is the imaginary part of the holonomy:
Connection to sheaf cohomology. The curvature is a closed 2-form ( — Bianchi identity). Its cohomology class is the Chern number of the line bundle on the torus of Gap phases. Integrality:
determines the quantisation of Gap values: for integers in vacuum configurations.
Higher Chern classes and the consciousness hierarchy. Generalisation to the -th homotopy group: the -th Chern class classifies . The correspondence:
| Chern class | Cohomology | Homotopy group | Consciousness level |
|---|---|---|---|
| L1 (phenomenal paths) | |||
| L3 (meta-reflection) | |||
| L4 (unreachable) |
The unified chain of connections:
This chain closes a single circle: physical dynamics (Gap phases) ↔ geometry (curvature) ↔ topology (Chern classes) ↔ algebra (cohomology) ↔ consciousness (hierarchy L). Every link is a standard mathematical result; the whole is unique to UHM.
Characteristic morphisms of atomic predicates:
—the diagonal entry of the coherence matrix.
Theorem ( from ) [T]
The Lindblad operators are derived from the subobject classifier.
Proof (three steps):
Step 1 (atomic predicate → operator). Each predicate of the classifier defines the characteristic map (scalar functional). The operator representative is the projector , since
is the unique rank-one operator realizing the linear functional via the trace (Riesz representation on with the Hilbert–Schmidt pairing).
Step 2 (projector → Lindblad operator). Set
Since is an orthogonal projector, , hence and (the positive square root of a projector is itself).
Step 3 (CPTP compatibility). Basis completeness yields
which is the CPTP compatibility condition for the Lindblad dissipator .
Channel-wise decoherence rates are specified separately in the evolution equation.
Hierarchy of by stratum
| Stratum | System | Subobjects | operator |
|---|---|---|---|
| I | Matter | — invariant | (symmetry) |
| II | Life | — | QECC stabilizers |
| III | Mind | — min | (gradient) |
| IV | Consciousness | — | (Čech) |
Temporal modality
Time in UHM is built on three cleanly separated levels:
| Layer | Type | Content |
|---|---|---|
| A. Algebraic | Definition | action on atomic predicates |
| B. Semantic | Interpretation | The -orbit is called “time” |
| C. Dynamical | Theorem | Matching and |
This breaks a potential circle: time is defined without appealing to evolution.
Definition (“later” operator):
On atomic predicates define the cyclic shift
Algebraic rationale:
- structure: the cyclic group of order has a canonical generator
- Isomorphism: as sets ()
- Induced action: — pullback of the group generator
Theorem (time from algebra—no circularity):
Discrete time arises as iteration of the algebraically defined operator
with the initial predicate (phase choice).
Properties:
- Periodicity:
- Minimality: for
- Independence of dynamics: the definition does not use
Layer A: Algebraic structure (definition)
Lemma: generates a free action on .
Proof:
- (direct computation)
- for (predicates are distinct)
- Hence the -orbit has exactly seven elements. ∎
Layer B: Semantic interpretation (choice)
Definition: is called discrete internal time.
Crucial point: This is a semantic choice, not a mathematical theorem. We decide to call the -orbit “time.”
Why this choice: The -orbit has properties expected of time:
- Linear order (mod cyclic identification)
- Transitivity: from any instant one can reach any other
- Discreteness: there are no “intermediate” instants
Layer C: Dynamical correspondence (theorem)
Theorem (matching and evolution):
Let be the logical Liouvillian. Then
where is the induced action on states and .
Proof.
Step 1 (Generator of ). The shift acts on the 7-element set of atoms as a cyclic permutation of order 7. Its matrix representation in the atom basis is the permutation matrix with eigenvalues , . Define the Hermitian generator:
where are the Fourier-transformed eigenstates. The logarithm is well-defined because has no eigenvalue degeneracies (all 7th roots of unity are distinct) and .
Step 2 (Exact reproduction). By construction: exactly. Therefore is the canonical time step.
Step 3 (Identification with ). The effective Hamiltonian from the Page–Wootters derivation acts on the 6D conditional state space. The unitary part of the Liouvillian is . By the -equivariance theorem [T-41d]: restricted to the diagonal generates the same cyclic permutation as . Therefore exactly.
Step 4 (Error from non-unitary terms). The full Liouvillian . By the Baker–Campbell–Hausdorff formula: . Since for bounded operators on : , where the factor 5 comes from (Fano decoherence, T-39a) plus (replacement channel norm).
Theorem (algebra→dynamics with error bound) [T]
For , the unitary part exactly reproduces the shift (from equivariance [T-41d]). The full error obeys
For (Planck-scale frequency) the error is negligible.
Axiom 5 (Page–Wootters)
The tensor factorization was stated historically as Axiom 5. It postulates structure compatible with the algebraic modality .
Page–Wootters was historically taken as an axiom. Theorem T-87 [T] shows A5 is derivable from A1–A4 via the spectral triple. The independent axiom count for UHM is therefore four (A1–A4). A5 stays in the list for a complete exposition.
Statement:
- Clock space — the -orbit
- The global state satisfies
- Constraint
Theorem (consistency with ):
If satisfies the Page–Wootters constraint, the conditional states
obey .
Independent derivation of A5 from the spectral triple
Theorem T-116: PW Suzuki–Trotter [T]
PW time-stepping with Suzuki–Trotter of order has error
For , , : .
Proof: Split (unitary + dissipative–regenerative). Second-order Suzuki–Trotter: , error (BCH to third order). Finite dimensionality of on gives . Suzuki’s recursion extends to order with error , sharpening T-60 (BCH ) to polynomial accuracy. ∎
Specification: language-limits-preveal.md §4.4 | Status: [T]
Axiom A5 (Page–Wootters) — that the total state space factorises as with clock sector and constraint — is derivable from A1–A4 via the finite spectral triple of T-53.
Proof (5 steps).
(1) Bimodule structure of . By T-53 [T] the finite NCG algebra is . Its irreducible -representations are (acting on ), , (acting on each). The total irreducible representation space has (Wedderburn decomposition for a finite-dimensional semisimple algebra; Connes 1996 §4.2).
(2) Isolation of the clock factor. The centre contains a distinguished summand — the factor corresponding to . Under the -stabiliser [T-42e], this summand is fixed whereas the block transforms non-trivially. The projector is -equivariant and of rank 1 in .
(3) Tensor factorisation from KO-dimension 6. A finite spectral triple of KO-dimension 6 admits a chiral grading with (Connes–Marcolli 2008, Def. 1.124). The eigen-decomposition together with the central projector yields a canonical factorisation where (clock, pre-extension) and . The Page–Wootters extension (unitary lift of -action, Suzuki–Trotter T-116 [T]) produces the 7-state internal clock . Uniqueness up to : any alternative factorisation that commutes with the -action and respects the chiral grading is related to this one by -conjugation (T-42a [T]).
(4) Wheeler–DeWitt constraint from stationarity. The global state on is stationary under by T-96 [T] (attractor characterisation). Stationarity against yields , which in the PW form becomes with constraint operator . This is exactly the PW constraint (Giovannetti–Lloyd–Maccone 2015 derivation from Dirac quantisation of reparametrisation-invariant theories, specialised to finite NCG).
(5) Existence of conditional states. Conditional-on- states satisfy the PW evolution (proven by direct computation from step 4).
Hence A5 is entirely a theorem consequence of A1–A4 + T-53 + T-42e + T-96 + T-116; A5 contributes no independent axiomatic content.
Dependencies: T-53 [T] (spectral triple, KO-dim 6), T-42a/e [T] (-rigidity + stabiliser), T-96 [T] (attractor), T-116 [T] (Suzuki–Trotter), Connes–Marcolli 2008, Giovannetti–Lloyd–Maccone 2015.
Proof chain: T-53 → Wedderburn + chiral grading → tensor factorisation → PW constraint → A5.
Principle of informational distinguishability as definition
The Principle of Informational Distinguishability (PID) is definition [O] (T16 [T]): given earnest acceptance of A1 (∞-topos) and A2 (), PID is tautological—distinguishability via -coverings coincides with ontological distinguishability. Kripke–Joyal semantics only makes this identity explicit. Computational results () are unchanged by relabeling.
Theorem (PID, T16):
Two states are ontologically distinct ⟺ .
Compatibility with :
- defines distinguishability through coverings
- A -cover separates points ⟺ they lie at positive Bures distance
- Identifying “ontological distinction” with “separability by covers” is the content of PID (T16); this is tautological from A1+A2 [O] ∎
Corollary (unification of thresholds via PID):
All three thresholds follow from one principle—distinguishability in the Bures metric:
| Threshold | PID condition | Formula |
|---|---|---|
where are characteristic distinguishability scales for each type.
L-measurement as a projection of
Definition:
The holon’s L-dimension is the classifier pulled back to the state:
Reading: is the set of logical predicates true of .
Octonionic structure
Independently of Theorem S, the number 7 follows from two postulates via Hurwitz’s theorem:
[T] P1: State space where is a normed division algebra. [T] P2: is nonassociative.
[T] Conclusion: Hurwitz ; P2 rules out .
Consequences [T]:
- — 14-parameter symmetry of
- Fano plane — combinatorics of octonion multiplication (7 points, 7 lines)
- Hamming code — perfect error-correcting code on 7 bits
Bridge (AP)+(PH)+(QG) → P1+P2: full chain T1–T15 [T].
Structural properties (not extra axioms)
In the Ω⁷ formulation, these items are structure of the sole primitive (∞-topos).
The ∞-topos is an extraordinarily rich object: it hosts all of homotopy type theory, internal logic, the subobject classifier, and an infinite tower of -morphisms. “One primitive” minimizes the number of starting points (one structured triple ), not the content of each piece. Likewise ZFC is “one axiom system” yet encodes all of classical mathematics. Minimizing the axiom count (five) is not the same as minimizing conceptual depth.
Property 1: finite dimensionality
Objects of the base category are density matrices on finite-dimensional space:
где
Dimension:
Why this dimension:
- — factor for dimension O (internal clocks)
- Tensor product:
Property 2: Page–Wootters constraint
For all objects :
with full constraint operator
Sharp reading:
Components:
- — clock Hamiltonian
- — Hamiltonian of the 6D subsystem
- — interaction Hamiltonian
Physical Hilbert space:
Property 3: ∞-terminal object
There is an ∞-terminal object such that for every object the morphism space is contractible:
The terminal object is defined in , not in the category DensityMat with CPTP morphisms. In DensityMat infinitely many CPTP channels map to , and is not terminal. The link: arises as the image of under the global-sections functor .
| 1-category | ∞-category (UHM) |
|---|---|
| — one morphism | — a space of morphisms |
| Uniqueness = determinism | Equivalence of all paths |
| No latitude of choice | Freedom = choice of path |
Theorem (multiplicity in unity):
Let be ∞-terminal. Then:
- Many 1-morphisms: can be arbitrarily large
- Cohesion: all 1-morphisms are linked by 2-morphisms (homotopies)
- Contractibility: is homotopy equivalent to a point
Consequences:
- Contractibility: (nerve contracts to )
- Cohomological monism: for
- Arrow of time: evolution tends toward
- Free will: a space of homotopy classes of paths to
Property 4: Self-modeling
Full formalization of : Formalization of is the single source of truth.
Canonical definition (categorical):
is the left adjoint to the inclusion of subobjects (see full definition):
Reading: is the “best” approximation of by logically consistent subobjects.
Theorem (three equivalent definitions of ):
The following are equivalent (see proof):
- Categorical: (left adjoint)
- Dynamical: (long-time limit)
- Idempotent: with fixed point
Corollary: is a stationary distribution of . Cycles are allowed: and are independently derived from .
The categorically defined satisfies the variational principle
with for density matrices (spectral entropy = von Neumann entropy) and the quantum Kullback–Leibler divergence.
Important: This is a characterization (theorem), not the definition of . Friston’s FEP is the classical limit of this principle (Theorem 4.2).
Dependency hierarchy (no cycles)
All core UHM constructions follow from the sole primitive in order, without cyclic dependencies. The dependency graph is a directed acyclic graph (DAG).
Evaluation order:
| Level | Construction | Depends on | Formula |
|---|---|---|---|
| -1 | Language, | — | Metatheoretic choice |
| 0 | Level −1 | ||
| 1 | Ω | Subobject classifier | |
| 1 | Ω | (atomic predicates) | |
| 1 | action | ||
| 2 | Ω, Γ | ||
| 2 | |||
| 2 | ▷ | (pullback) | |
| 2 | τ | ▷ | |
| 3 | , , | ||
| 3 | Page–Wootters | ▷ | |
| 4 | φ | ||
| 4 | Thresholds | From PID |
Key point: each level depends only on earlier ones. The sole primitive generates the whole theory without cycles.
See constructive algorithms for implementation.
Constructive realization:
is implemented as a spectral projection of the Liouvillian:
where are bieigenvectors of the logical Liouvillian .
See Formalization of for the full specification.
Property 5: Stratification
The base space stratifies as
with (terminal object—the zero-dimensional stratum).
Strata:
- — vertex (0-dimensional)
- — edges (1-morphisms to ) — 1-dimensional
- — -simplices — -dimensional
Local–global dichotomy:
| Aspect | Global | Local (near ) |
|---|---|---|
| Cohomology | ||
| Reading | Monism | Physics |
| Topology | Contractible to | Rich structure |
Free will
Formalization via ∞-structure
For an agent , free will is
—the set of connected components of the path space with nontrivial homotopy type.
Reading:
- — coarse trajectory classes
- each class — a genuinely different mode of approach to
- choice among classes = free will
Theorem on multiplicity of paths
Theorem:
For , contains many distinct 1-morphisms linked by 2-morphisms:
- (contractible), hence
- yet the set of concrete 1-morphisms can be arbitrarily large
- freedom lies in choosing a particular path while all paths are globally equivalent
Quantitative measure of freedom
Definition (freedom entropy):
Properties:
- at : (no freedom—the end is reached)
- far from : is large
- arrow of time:
Philosophical reading
Free will in UHM is not choosing the goal ( is unique) but choosing the trajectory toward it.
One does not choose whether to merge with the One ( is inevitable), but how to live until then.
Interaction Hamiltonian
Full specification:
where:
- — lowering/raising operators on
- — coupling constants for each dimension label
Coupling hierarchy:
Rationale: E (Interiority) couples primarily to the clock; U (Unity) secondarily.
Parameter calibration protocol
This section states how to fix free parameters (, ) for a concrete system.
Calibrating (fundamental frequency)
Definition: is the characteristic frequency of the system’s internal clocks.
Methods:
| System type | Method | Formula | Typical value |
|---|---|---|---|
| Quantum | Energy gap | – Hz | |
| Biological | Metabolic rate | ATP turnover | – Hz |
| Neural | Gamma rhythm | Hz | – Hz |
| AI | Inference rate | – Hz |
Empirical rule:
where is the decoherence time (time over which drops by a factor without regeneration).
Calibrating (coupling constants)
Definition: is the coupling strength of the -th dimension to internal clocks.
Theoretical hierarchy:
Empirical calibration recipe:
/// Calibrate λ_m from observed correlations.
/// Method: λ_m ∝ |∂γ_Om/∂τ| — rate of change of O↔m coherence under evolution.
pub fn calibrate_lambda<S: EvolvingSystem>(
system: &mut S,
n_samples: Int { self > 0 },
) -> Map<Dim, Float>
{
let mut lambdas: Map<Dim, Float> = Map.new();
for _ in 0..n_samples {
let gamma_t = system.get_state();
let gamma_t1 = system.evolve(0.01);
for m in [Dim.A, Dim.S, Dim.D, Dim.L, Dim.E, Dim.O, Dim.U] {
let idx = index(m);
let delta = (gamma_t1[5, idx] - gamma_t[5, idx]).abs(); // O = 5
lambdas[m] = lambdas.get(&m).unwrap_or(0.0) + delta;
}
}
// Normalise so that the maximum λ is 1 (E is the typical reference).
let max_l = lambdas.values().max().unwrap_or(1.0);
lambdas.iter().map(|(m, v)| (*m, v / max_l)).collect()
}
Typical values:
| Dimension | (rel. units) | Reading |
|---|---|---|
| E (Interiority) | 1.0 | Reference |
| U (Unity) | 0.7–0.9 | Strong integration |
| L (Logic) | 0.5–0.7 | Consistency |
| D (Dynamics) | 0.3–0.5 | Processes |
| S (Structure) | 0.2–0.4 | Patterns |
| A (Articulation) | 0.1–0.3 | Distinctions |
Calibration validation
Correctness checks:
- CPTP: (automatic here)
- Viability: with calibrated parameters, for a functioning system
- Time scale: (many clock ticks per observation)
Self-consistency test:
If computed differs from observation by more than an order of magnitude, revise .
Base space
Nerve of the category
Definition (nerve):
For a category , the nerve is a simplicial set:
- = objects of
- = morphisms of
- = chains of composable morphisms
Geometric realization:
Autopoietic
Theorem (autopoiesis of base space):
is a fixed point of a functor:
Existence follows from Schauder’s theorem on compact metric spaces.
Dimension
Theorem:
The six dimensions of “internal space” follow from the categorical structure.
Cohomological monism
Theorem (trivial global cohomology)
For with terminal object ,
Proof:
- ∞-terminal for all
- (contractible)
- cohomology of a contractible space is trivial
Corollary: monism as a theorem
Monism is not a free philosophical choice but a theorem:
Local operators always glue to a global One because .
Emergent time
Page–Wootters mechanism
From one obtains:
Conditional state:
Discreteness of time
For :
Time is fundamentally discrete for finite-dimensional systems.
Arrow of time as collapse of strata
Theorem:
Evolution induces
The arrow of time is progressive collapse of higher strata toward terminal .
Time as an internal modality
In time is an internal modality:
Emergent metric
UHM spectral triple
where:
- — clock algebra
- — full Hilbert space
- — constraint as “Dirac operator”
Stratified Connes metric
Definition:
where:
- is a path crossing strata
- is the Connes metric on stratum
Connes formula
Genesis protocol (holon initialization)
The standard regeneration dynamics creates a cycle:
- low → low → no regeneration → does not grow
This is a deadlock: the system cannot leave a low-coherence state unaided.
Categorical rationale for
Adjunction of dissipation and regeneration functors:
Theorem (minimal regeneration from the adjunction):
The unit is nonzero by definition of adjunction.
Corollary:
There is a minimal regeneration rate independent of the current state.
Theorem T-59 (spectral gap of the Fano dissipator) [T]+[T/sim]
The analytical derivation from the adjunction unit and the Fano-dissipator spectral structure is [T] (Steps below). The specific numerical value is additionally cross-checked to precision in SYNARC integration test mvp_int_2 G5 — this empirical confirmation is [T/sim]. No rigid analytical–empirical separation is claimed; the two layers are independently sound and mutually consistent.
For the canonical Fano dissipator with 14 Lindblad operators (7 atomic + 7 Fano):
Decoherence sector (exact): all 42 off-diagonal entries () decay at a common rate
Derivation: for diagonal with eigenvalues , the decoherence rate of entry is
For atomic : contribution . For Fano : each pair lies on exactly one line (BIBD ); the other four lines yield . Total: .
Population sector: diagonal do not decay in the dissipator (). Population relaxation is set by at rate .
Corollary (): since comes from a regenerative (not dissipative) channel and , the value is not lower-bounded by .
Verification: the 49×49 superoperator confirms (test spectral_gap_t59.rs):
- [exact]
- [population relaxation]
- [code consistent]
is verified to
in integration tests (mvp_int_2 G5). The formula
matches effective_kappa() in density7.rs.
Corrected regeneration formula
where:
- — minimal regeneration from the adjunction unit (numerical value fixed by categorical structure)
- — baseline regeneration rate (see master definition)
- — -coherence (see definition)
Genesis protocol phases
Theorem (necessity of Genesis):
For any with (maximally mixed),
Bootstrap regeneration suffices for slow escape from deadlock but does not suffice for fast initialization.
Definition (Genesis phases):
| Phase | Entry | Goal | Mechanism |
|---|---|---|---|
| V0 (germ) | |||
| V1 (formation) | tune | ||
| V2 (birth) | autonomous dynamics |
Categorical reading:
- V0: external functor seeds structure
- V1: tune characteristic morphisms
- V2: close onto internal dynamics
Ontological consequences
- Holons do not arise ex nihilo — Genesis from an external source is required
- Life presupposes prior life — categorical analogue of biogenesis
- Holon hierarchy — elder holons may supply for younger ones
- First holon — needs a special story (cosmological question)
Link to -coherence
Definition [T]: -coherence is given by HS projection (canonical formula; see master definition):
Value ranges:
| State | Reading | |
|---|---|---|
| Maximally mixed | Minimal | |
| Viability threshold | ||
| -dominant | Maximal |
Derived theorems
| Theorem | Statement | Follows from |
|---|---|---|
| Monism | Properties 3, 5 | |
| Physics | Property 5 | |
| Metric | from Connes formula | Properties 1, 2, 5 |
| Time | (discrete) | Axiom 5, modality |
| Arrow of time | Properties 3, 5 | |
| Multiplicity | orbits | Properties 1, 4 |
| Attractor | Properties 3, 4 | |
| Free will | **$ | \mathrm{Mor}_1(\Gamma, T) |
| L-unification | from ; source of | Classifier |
| from | Classifier atoms | |
| minimal regeneration | adjunction | |
| Genesis needed | bootstrap paradox | |
| PID — def. [O] (T16 [T]) | distinction ⟺ | embedded in A1+A2 (Kripke–Joyal) |
| Theorem 3.1 (variational) | , Liouvillian | |
| FEP UHM | Theorem 4.2 (classical limit) | Theorem 3.1 + diagonal limit |
Ontological status
The primitive is:
- The sole substance — matter, energy, information, experience are aspects of objects and morphisms
- Its own form — shape is fixed by the ∞-topos with Bures geometry
- Its own process — evolution is internal morphism dynamics at scale
- The source of freedom — multiplicity of paths in
- The source of thresholds — , , follow from PID
It is not:
- Mere mathematical abstraction — is reality
- A description of something else — there is no “thing in itself” behind
- An observer’s construct — the observer is itself an object of the ∞-topos
- A composite you can split — form an irreducible unity
Relation diagram
Consistency
Theorem (consistency)
The Ω⁷ formulation is consistent.
Proof: there is a model—an on a category with seven objects and terminal satisfying the listed properties. ∎
Theorem (meta-theoretic completeness)
In the Ω⁷ formulation UHM is:
- Categorically complete: all structures derive from the ∞-topos
- Internally consistent: a model exists (constructively)
- Phenomenologically adequate: free will is formalized
- Computationally realizable: is polynomial— for
Summary
Honest axiomatics (five axioms):
- Axiom 1 (Structure): Reality is the ∞-topos
- Axiom 2 (Metric): is induced by the Bures metric
- Axiom 3 (Dimension): is the base Hilbert dimension
- Axiom 4 (Scale): is the fundamental frequency
- Axiom 5 (Page–Wootters): tensor factorization
Derived axiom (U-9.7):
- Axiom 6 (-coupling): regeneration is possible iff the system exchanges free energy with its environment: . Follows from A1 (autopoiesis: closed operations, open fluxes) and A4 ( sets exchange rate). Formalization: evolution.
Structural consequences:
- Sole primitive:
- Cohomological monism: is a theorem
- Free will: — multiplicity of paths to
- Canonical predicates: — atomic subobject predicates ()
- L-unification: unifies logic (), operators (), and time ()
Temporal structure (three layers):
- A. Algebraic: from the action (definition)
- B. Semantic: the -orbit is called “time” (interpretation)
- C. Dynamical: (correspondence theorem)
Further theorems:
- PID: Principle of informational distinguishability—definition [O] (T16 [T]); under A1+A2 it is tautological
- Thresholds: , , ([T]; PID reading [O])
- Genesis protocol: from
See also:
- Structural derivation via octonions — P1+P2 → → (track B)
- Axiom (AP+PH+QG+V) — autopoiesis, phenomenology, quantum grounding, viability (extended with (MaxEnt) for T-190 axiomatic closure)
- Consequences — corollaries of Ω⁷
- Deriving FEP from UHM — variational Thm. 3.1 and classical-limit Thm. 4.2
- Emergent time theorem — time from ∞-structure
- Categorical formalism: topology — Bures covers and site
- Mathematical apparatus: topology — formal specification
- Computational implementation: algorithms — constructive algorithms
- Freedom — full treatment
- Coherence matrix — categorical objects
- Evolution equation — categorical morphisms
- O-dimension — internal clocks