The McGucken–Kleinian Programme as the Geometric Foundation of Constructor Theory: A Categorical Formalization

Dr. Elliot McGucken — Light Time Dimension Theory — elliotmcguckenphysics.com — April 2026

“More intellectual curiosity, versatility and yen for physics than Elliot McGucken’s I have never seen in any senior or graduate student. Originality, powerful motivation, and a can-do spirit make me think that McGucken is a top bet…” — John Archibald Wheeler, Joseph Henry Professor of Physics, Princeton University

Abstract

The McGucken–Kleinian programme establishes that a single geometric primitive — the McGucken Principle which states that the fourth dimension is expanding in a spherical symmetric manner dx₄/dt = ic — generates the foundational machinery of physics through a structural bifurcation into algebraic-symmetry content and geometric-propagation content, with the Seven McGucken Dualities of Physics as the resulting specialization pattern [MG-KNC; MG-Master]. The companion thermodynamics paper [MG-Thermo] applies this programme to Einstein’s three 1949 thermodynamics gaps, deriving the probability measure as the unique Haar measure on the spatial isometry group ISO(3) (Proposition V.1), ergodicity as a Huygens-wavefront identity (Proposition VI.1), and the Second Law as the strict theorem dS/dt > 0 (Theorem VII.1, Proposition VII.2).

This paper establishes that the McGucken–Kleinian programme is the geometric foundation of Deutsch–Marletto constructor theory and admits a complete categorical formalization. Three structural results are proven:

(I) Categorical formalization (Theorem III.1). The Kleinian split of dx₄/dt = ic into algebraic and geometric content is the adjoint pair (Alg ⊣ Geom) between the categories 𝐀𝐥𝐠_{Kln} of Kleinian algebraic data (group + Lie algebra + invariant tensors) and 𝐆𝐞𝐨𝐦_{Kln} of Kleinian geometric data (manifold + group action + propagation kernel), with unit and counit explicitly constructed. Klein’s Erlangen Program (1872) becomes, in this formalization, the existence of an equivalence of categories between geometric and algebraic specifications of homogeneous spaces; the McGucken Principle is the unique foundational data realizing this equivalence at the level of four-dimensional spacetime kinematics.

(II) Constructor-theoretic foundation (Theorem V.1). The Deutsch–Marletto constructor-theoretic possibility/impossibility structure on physical transformations is derived as a theorem of dx₄/dt = ic: a task T = (𝒳, 𝒴) is possible iff there exists a Channel-B propagation chain from initial attribute 𝒳 to final attribute 𝒴 through the Huygens wavefront on the McGucken Sphere, and impossible iff every such chain requires x₄ to advance against its rate ic. The constructor-theoretic Second Law (Marletto 2016, [Marletto2016]), the constructor-theoretic information principles (Deutsch & Marletto 2015, [DeutschMarletto2015]), and the recent Feng–Marletto–Vedral hybrid quantum-classical impossibility theorems (2024, [FengMarlettoVedral2024]) each become specializations of this single geometric criterion. The McGucken framework therefore grounds constructor theory by providing the geometric mechanism that realizes its abstract possibility/impossibility structure.

(III) Two-categorical specialization diagram (Theorem VII.1). The Seven McGucken Dualities (Hamiltonian/Lagrangian, Noether conservation laws / Second Law of Thermodynamics, Heisenberg/Schrödinger, wave/particle, locality/nonlocality, rest mass / energy of spatial motion, time/space) form a 2-category whose objects are the seven specialization levels, whose 1-morphisms are the level-to-level reductions (each level is a Kleinian specialization of the foundational dx₄/dt = ic structure), and whose 2-morphisms are the natural transformations between alternative reductions. The 2-categorical structure exhibits the closure theorem of [MG-KNC, Theorem I.2] as the statement that the seven-dualities 2-category is the terminal such 2-category in the category of foundational physics frameworks satisfying the Kleinian-pair criterion. The empirical content of the terminality statement is established in §VII.6 by the seven-duality audit of [MG-LagrangianOptimality, §6.7]: among the eight canonical Lagrangians of the 282-year tradition (Newton 1788 through string theory 1968-present), no predecessor Lagrangian generates more than two of the seven dualities, while ℒ_{McG} generates all seven as parallel sibling consequences of dx₄/dt = ic via dual-channel structure. Theorem VII.1 is therefore not a categorical truism but a structural assertion with sharp empirical content: the McGucken framework is, to current knowledge, the only canonical Lagrangian framework realizing the terminal-object’s full content. A complementary universal-property statement [MG-LagrangianOptimality, Theorem 4.3] establishes ℒ_{McG} as the initial object in the category of Lagrangian field theories satisfying seven structural conditions; the McGucken framework therefore exhibits a double universal property (initial at the Lagrangian level, terminal at the duality-classification level), with the compatibility established in Lemma III.5.

The combined result is that the McGucken–Kleinian programme is, structurally, the geometric specialization of category theory’s Erlangen-Programme apparatus to four-dimensional spacetime kinematics, and the constructor-theoretic foundation that grounds Deutsch–Marletto possibility/impossibility statements in a specific geometric mechanism. The three programmes — category theory, constructor theory, and the McGucken–Kleinian programme — fit into a single rigorous structural map in which category theory provides the grammar, constructor theory provides one substrate-independent semantics, and the McGucken–Kleinian programme provides the geometric semantics that grounds the constructor-theoretic possibility/impossibility structure in a specific four-dimensional kinematics.

The paper closes with the explicit derivation of three constructor-theoretic theorems from the McGucken framework: the no-cloning theorem (§VI.2) as a consequence of the McGucken Sphere’s spherical-projection structure; the constructor-theoretic Second Law (§VI.3) as Theorem VII.1 of [MG-Thermo] expressed in possibility/impossibility vocabulary; and the constructor-theoretic conservation laws (§VI.4) as the algebraic-content side of the Kleinian split, with the Feng–Marletto–Vedral 2024 hybrid quantum-classical impossibility theorem as a corollary.

Keywords: McGucken Principle; dx₄/dt = ic; constructor theory; Deutsch–Marletto; category theory; Erlangen Program; adjoint functors; Kleinian dualities; Huygens propagation; possibility/impossibility; substrate-independence; geometric foundations; 2-category; categorical formalization.

I. Introduction: Three Programmes, One Foundation

I.1 The Comparator Programmes

Three programmes seek to ground physics in something deeper than dynamical laws plus initial conditions.

Constructor theory, developed by David Deutsch and Chiara Marletto at Oxford from 2012 onward, expresses the foundational content of physics in terms of which physical transformations are possible and which are impossible [Deutsch2013; DeutschMarletto2015; Marletto2016]. The fundamental vocabulary is tasks (input → output specifications), constructors (systems that can perform tasks repeatedly without degradation), and the binary distinction possible/impossible. The programme has produced exact formulations of the second law of thermodynamics [Marletto2016], the laws of information theory [DeutschMarletto2015], a constructor theory of life [Marletto2014Life], a constructor theory of time [Marletto2025Time], and recent hybrid quantum-classical impossibility theorems probing the necessity of quantum gravity [FengMarlettoVedral2024]. The programme’s central methodological commitment is substrate-independence: a constructor-theoretic statement holds regardless of whether the constructor is a quantum computer, a classical machine, a biological cell, or a thermodynamic engine.

Category theory, developed by Eilenberg, Mac Lane, Grothendieck, Lawvere, and many others from the 1940s onward, provides a structural language for mathematics in which the foundational content is not the objects but the morphisms — the structure-preserving maps between objects — and the compositions of those morphisms [MacLane1971; AwodeyCT]. Three central techniques are universal-property reasoning (objects characterized by what they make possible rather than by intrinsic structure), functoriality (constructions that respect morphism patterns), and Yoneda’s lemma (an object is fully determined by its system of mapping-relationships). Klein’s 1872 Erlangen Program — that a geometry is the study of invariants of a group action — is, in the modern categorical idiom, the assertion that geometric data is equivalent to a group-action structure, and the equivalence is functorial.

The McGucken–Kleinian programme, developed across approximately fifty technical papers at elliotmcguckenphysics.com (2024–2026) and consolidated in the master synthesis paper [MG-KNC] and the active programme papers [MG-Master, MG-Lagrangian, MG-Noether, MG-ConservationSecondLaw, MG-Thermo], grounds physics in a single geometric primitive — the McGucken Principle that the fourth dimension is expanding at the velocity of light, dx₄/dt = ic [MG-Proof; MG-FQXi-2008; MG-Book2016]. The principle bifurcates structurally into algebraic content (the spatial isometry groups: O(3), ISO(3), the Lorentz and Poincaré groups) and geometric content (Huygens-wavefront propagation on the McGucken Sphere expanding at rate c from every spacetime event), and the bifurcation is the Klein-Erlangen pairing — the two contents are not independent but are the two faces of one Kleinian object [MG-KNC, §§II, X]. The programme has produced derivations of the Minkowski metric [MG-Proof], the Schrödinger and Dirac equations [MG-HLA; MG-Dirac], the Standard Model gauge structure [MG-SM; MG-QED], the Einstein field equations [MG-GR], the Bekenstein–Hawking horizon entropy [MG-Bekenstein; MG-Hawking], and the strict Second Law of Thermodynamics with explicit rate dS/dt = (3/2)k_B/t [MG-Thermo, Theorem VII.1] — each as a theorem of dx₄/dt = ic.

The three programmes appear, on first inspection, to occupy different methodological regions: category theory is mathematical, constructor theory is information-theoretic, the McGucken–Kleinian programme is geometric. This paper establishes that the three programmes fit into a single rigorous structural map. The central results are stated in §§III, V, and VII; the methodological setup is the work of §§I–II.

I.2 The Question This Paper Answers

A reader of [MG-KNC] and [MG-Thermo] who is also familiar with constructor theory and category theory naturally asks: how do the McGucken–Kleinian programme, category theory, and constructor theory relate? The question has three parts.

(Q1) Is the Kleinian split of dx₄/dt = ic into algebraic and geometric content a categorical structure? If so, what is the precise category-theoretic formalization?

(Q2) Is the constructor-theoretic possibility/impossibility structure a consequence of the McGucken Principle, or do the two programmes occupy independent foundational levels?

(Q3) Are the Seven McGucken Dualities a 2-categorical structure? If so, in what sense, and how does the closure theorem of [MG-KNC, Theorem I.2] translate into 2-categorical language?

This paper answers all three questions affirmatively and constructively. (Q1) is answered in §III: the Kleinian split is the adjoint pair (Alg ⊣ Geom) between explicitly constructed categories 𝐀𝐥𝐠_{Kln} and 𝐆𝐞𝐨𝐦_{Kln}, with unit, counit, and triangle identities verified. (Q2) is answered in §V: the constructor-theoretic possibility/impossibility structure is derived as a theorem of dx₄/dt = ic via Channel-B propagation, with explicit constructions for the constructor-theoretic Second Law (Marletto 2016), the constructor-theoretic information principles (Deutsch & Marletto 2015), and the Feng–Marletto–Vedral 2024 hybrid impossibility theorems. (Q3) is answered in §VII: the Seven McGucken Dualities form a 2-category Sev with explicit 1-morphisms and 2-morphisms, and the closure theorem becomes the statement that Sev is terminal in the appropriate 2-category of foundational physics frameworks satisfying the Kleinian-pair criterion.

I.3 The Structural Map

The paper develops the following structural map. Category theory provides the grammar — the structural vocabulary (objects, morphisms, functors, adjunctions, 2-categories, terminal objects, universal properties) in which foundational frameworks for physics can be expressed. Constructor theory provides one substrate-independent semantics — a counterfactual specification (which transformations are possible, which impossible) that is naturally categorical (the possibility relation is a structure on a category of physical attributes) but does not specify a geometric realization. The McGucken–Kleinian programme provides the geometric semantics that realizes constructor-theoretic possibility/impossibility — every constructor-theoretic possibility is a Channel-B-propagation possibility, every constructor-theoretic impossibility is a contradiction with x₄‘s monotonic advance.

The map is not that category theory and constructor theory are reducible to the McGucken–Kleinian programme. Each programme retains an independent methodological role. Category theory remains the grammar — even in a McGucken-grounded constructor theory, categorical reasoning is what supplies the structural classification (terminal objects, universal properties, adjoint relationships). Constructor theory remains a substrate-independent semantics — even when grounded geometrically, the constructor-theoretic vocabulary continues to apply across substrates that participate in x₄-kinematics, including substrates not specified at the geometric level. The McGucken–Kleinian programme adds geometric mechanism to constructor theory and physical realization to category theory; it does not replace either.

The deepening is in one direction: the McGucken framework is finer-grained than constructor theory, in the precise sense that it specifies the geometric mechanism that constructor theory leaves unspecified. From the McGucken standpoint, constructor-theoretic possibility/impossibility statements are derivable theorems; from the constructor-theoretic standpoint, McGucken-geometric statements are one possible realization of constructor-theoretic structures.

I.4 What the Paper Establishes

This paper proves three structural theorems and develops their consequences.

Theorem III.1 (Categorical Formalization of the Kleinian Split). The Kleinian bifurcation of dx₄/dt = ic into algebraic and geometric content is the adjoint pair (Alg ⊣ Geom) between the categories 𝐀𝐥𝐠_{Kln} and 𝐆𝐞𝐨𝐦_{Kln} defined explicitly in §II.2, with unit η: 𝟏_{𝐀𝐥𝐠_{Kln}} ⇒ Alg ∘ Geom and counit ε: Geom ∘ Alg ⇒ 𝟏_{𝐆𝐞𝐨𝐦_{Kln}} given in Definitions III.2–III.3, satisfying the triangle identities. The McGucken Principle dx₄/dt = ic is the unique foundational data in 𝐀𝐥𝐠_{Kln} × 𝐆𝐞𝐨𝐦_{Kln} realizing the Kleinian equivalence at the level of four-dimensional spacetime kinematics with the Lorentz signature.

Theorem V.1 (Constructor-Theoretic Foundation Theorem). Let 𝐀𝐭𝐭 be the category of physical attributes (Deutsch–Marletto, [DeutschMarletto2015, §II]) and 𝐓𝐚𝐬𝐤 the category of tasks. Define the McGucken possibility relation Poss_{McG}: 𝐓𝐚𝐬𝐤 → 0, 1 by Poss_{McG}(T) = 1 iff there exists a Channel-B propagation chain on the McGucken Sphere from the input attribute of T to the output attribute of T, and Poss_{McG}(T) = 0 otherwise. Then: (i) the Deutsch–Marletto possibility relation Poss_{DM} is a sub-relation of Poss_{McG}; (ii) under the matter-coupling postulate of [MG-Compton], every T with Poss_{DM}(T) = 1 also satisfies Poss_{McG}(T) = 1; (iii) the constructor-theoretic Second Law of [Marletto2016, §VII], the constructor-theoretic information principles of [DeutschMarletto2015, §§III–V], and the Feng–Marletto–Vedral hybrid impossibility theorems of [FengMarlettoVedral2024, Theorem 1] each follow as theorems of Poss_{McG}.

Theorem VII.1 (2-Categorical Structure of the Seven Dualities). The Seven McGucken Dualities form a 2-category Sev whose objects are the seven specialization levels (Table VII.1), whose 1-morphisms are the level-to-level reductions induced by the Kleinian foundational structure of dx₄/dt = ic, and whose 2-morphisms are the natural transformations between alternative reductions. The closure theorem of [MG-KNC, Theorem I.2] is equivalent to the statement that Sev is the terminal 2-category in the 2-category 𝐅𝐨𝐮𝐧𝐝_{Kln} of foundational physics frameworks satisfying the Kleinian-pair criterion of Definition VII.1.

The technical substance of the paper is in the explicit constructions and proofs supporting these theorems (§§II.2, III.2–III.5, V.2, VI.2–VI.4, VII.2–VII.4). The applications are developed in §§VI and VIII.

I.5a Graded Forcing Vocabulary (After [MG-LagrangianOptimality, §1.4])

The uniqueness claims developed in this paper — Theorem III.1 (categorical formalization), Theorem V.1 (constructor-theoretic foundation), Theorem VII.1 (terminality of Sev) — assert that certain structures are forced by the McGucken Principle dx₄/dt = ic. The word forced admits three rigorously distinct grades, articulated in the companion paper [MG-LagrangianOptimality, §1.4], which the present paper imports for use throughout.

Grade 1 (strongly forced under stated constraints). A structure is Grade-1 forced when it is the unique solution to a precisely stated constraint system, with no remaining choice modulo trivial transformations. Theorem III.1’s adjunction Alg ⊣ Geom at the Poincaré-Minkowski data is Grade-1 forced: the Lorentz-Huygens kernel is the unique G-equivariant propagation kernel on the homogeneous space 𝒫/L, and the unit and counit are the canonical isomorphisms determined by the universal property of the homogeneous space. The categorical structure of the four sub-uniqueness theorems of [MG-LagrangianOptimality, Theorem 2.0] each Grade-1-force the corresponding Lagrangian sector, and the joint uniqueness theorem [MG-LagrangianOptimality, Theorem 2.5] is Grade-1 forced via Coleman–Mandula 1967, Weinberg reconstruction 1964–1995, and Stone–von Neumann 1931–32. Theorem V.1 (i)–(iii) of the present paper are Grade-1 forcings within their respective constraint systems.

Grade 2 (forced given empirical inputs). A structure is Grade-2 forced when it is uniquely determined modulo a finite list of empirical inputs not derived from the principle. The McGucken framework’s full content — Standard Model gauge group, matter content, Newton’s constant — is Grade-2 forced from dx₄/dt = ic per [MG-LagrangianOptimality, Theorem 2.5]: three empirical inputs, against approximately twenty-two for the Standard Model + Einstein-Hilbert combination and effectively unbounded inputs for the string-theory landscape [MG-LagrangianOptimality, §6.7.5, Table 3]. Theorem V.1 of the present paper is Grade-2 forced in this sense: the geometric-extension claim (every Poss_{DM}(T) = 1 implies Poss_{McG}(T) = 1) holds modulo the matter-coupling postulate of [MG-Compton] and the empirical inputs of the gauge group and matter content.

Grade 3 (conditionally forced on the empirical correctness of dx₄/dt = ic). A structure is Grade-3 forced when it follows mathematically from the foundational principle, with the principle itself being an empirical postulate whose validity is open to experimental test. Every claim in this paper is Grade-3 conditional in this sense. The categorical adjunction-equivalence of Theorem III.1, the constructor-theoretic foundation of Theorem V.1, the 2-categorical terminality of Theorem VII.1 — all are Grade-3 forcings: they hold mathematically given dx₄/dt = ic, and their empirical reach depends on dx₄/dt = ic being the correct foundational physics. The Compton-coupling diffusion of [MG-Thermo, Proposition VII.3] is the falsifiable signature on which the Grade-3 condition can be tested.

The graded vocabulary clarifies what each theorem of the present paper claims. Theorem III.1’s adjunction is Grade-1 forced (the unit, counit, triangle identities are categorical theorems). Theorem III.1’s equivalence at the McGucken-Kleinian sub-data is Grade-2 forced (modulo the foundational status of the Poincaré algebraic data). Theorem V.1’s containment Poss_{DM} ⊆ Poss_{McG} is Grade-2 forced (modulo matter-coupling postulate). Theorem VII.1’s terminality of Sev is Grade-1 forced (modulo the closure of the seven dualities established in [MG-KNC, Theorem I.2]). The combined claim that the McGucken framework grounds constructor theory in a four-dimensional Lorentzian kinematic substrate is Grade-3 forced — empirically conditional on dx₄/dt = ic being correct.

The graded vocabulary is what the word forced is meant to capture. Conflating Grade 1 and Grade 3 — i.e., reading “the McGucken framework forces the constructor-theoretic structure” as if the physical principle were already empirically established — would be a category error. The mathematical theorems supply Grade-1 forcings; the empirical experimental program of [MG-Thermo, §VII.3] and [MG-LagrangianOptimality, §6.7.7] supplies the Grade-3 falsification path.

I.5 Structure of the Paper

§II reviews the prerequisites: the McGucken Principle and its bifurcation into algebraic and geometric content (§II.1), the explicit categories 𝐀𝐥𝐠_{Kln} and 𝐆𝐞𝐨𝐦_{Kln} (§II.2), the Deutsch–Marletto constructor-theoretic vocabulary (§II.3), and the categorical and 2-categorical apparatus (§II.4). §III proves Theorem III.1 (categorical formalization), constructing the adjunction explicitly and verifying the triangle identities. §IV develops the implications of Theorem III.1 for the other Klein-style geometric programmes (Cartan geometry, principal bundles, étale stacks) and identifies what is structurally distinctive about the McGucken specialization. §V proves Theorem V.1 (constructor-theoretic foundation), constructing the McGucken possibility relation explicitly and showing that the Deutsch–Marletto possibility relation is a sub-relation. §VI applies Theorem V.1 to derive three specific constructor-theoretic results from the McGucken framework: the no-cloning theorem (§VI.2), the constructor-theoretic Second Law (§VI.3), and the constructor-theoretic conservation laws including the Feng–Marletto–Vedral 2024 hybrid impossibility theorem (§VI.4). §VII proves Theorem VII.1 (2-categorical structure), constructing the 2-category Sev and the ambient 2-category 𝐅𝐨𝐮𝐧𝐝_{Kln}, and verifying the terminality. §VIII develops the structural map (category theory as grammar, constructor theory as substrate-independent semantics, McGucken–Kleinian as geometric semantics) and identifies what each programme adds to the others. §IX is a historical note connecting the three programmes to the heroic-age methodological tradition the McGucken framework continues. §X concludes.

The reader who is not already familiar with [MG-KNC] is referred there for the foundational structural theorems imported by this paper as Definitions and Lemmas; the reader who is not familiar with the Deutsch–Marletto programme is referred to [Deutsch2013; DeutschMarletto2015; Marletto2016; Marletto2025Time]; the reader who is not familiar with the categorical apparatus is referred to [MacLane1971] for 1-categories and adjunctions, [Lurie2009] for higher-categorical foundations, and [Schreiber2013] for the application of cohesive higher topos theory to physics.

II. Prerequisites

II.1 The McGucken Principle and the Kleinian Split

The McGucken Principle states that the fourth spacetime dimension x₄ is expanding at the velocity of light c in the imaginary direction, with rate dx₄/dt = ic at every event in spacetime. The principle is foundational rather than derived: it is the single primitive of the McGucken–Kleinian programme, and all of the programme’s other content (the Minkowski metric, the conservation laws, the field equations, the Second Law) is derived from it.

The principle carries two structurally distinct informational contents that together constitute its complete specification.

Channel A (algebraic-symmetry content). The principle specifies that the rate ic is invariant under the spatial isometry group G = ISO(3) = ℝ³ ⋊ O(3) acting on the spatial fibre — translations and rotations preserve the rate. Combined with the temporal-translation invariance and the Lorentz-covariance of ic as a four-vector component, the full Channel A symmetry group is the Poincaré group 𝒫 = ℝ^1,3 ⋊ O(1,3). Channel A is therefore a group-theoretic specification: it identifies which transformations leave the kinematic content of dx₄/dt = ic invariant.

Channel B (geometric-propagation content). The principle specifies that from every spacetime event p₀ = (t₀, q₀), x₄‘s expansion sweeps out a Huygens wavefront — the McGucken Sphere _+(p₀; t) = ∈ ℝ³ : |q – q₀| = c(t – t₀) for t > t₀, with forward-light-cone interior B_+(p₀; t) = : |q – q₀| ≤ c(t – t₀). Channel B is a geometric specification: it identifies the kinematic structure of x₄‘s expansion as a propagation kernel from each event to its forward light cone.

The two contents are not independent. Channel A’s ISO(3)-isotropy is exactly the symmetry that makes the McGucken Sphere of Channel B spherical rather than otherwise-shaped; conversely, Channel B’s geometric propagation is the structure on which Channel A’s isometry group acts. Klein’s Erlangen Program (1872) is the structural assertion that the algebraic content (group + invariants) and the geometric content (manifold + group action) of a geometric specification are equivalent data: each determines the other up to canonical isomorphism. The McGucken–Kleinian programme is the assertion that Klein’s equivalence holds at the level of four-dimensional spacetime kinematics with ic-content, and that dx₄/dt = ic is the unique principle realizing this equivalence [MG-KNC, Theorem IX.1].

The Kleinian unity is summarized in the following table.

Channel	Content	Specification	Determines
A	Algebraic-symmetry	Group G + invariants	Conservation laws via Noether
B	Geometric-propagation	Manifold M + propagation kernel K	Wave equation, Huygens, entropy
(A ↔ B)	Kleinian pair	G acts on M, K is G-equivariant	Klein-Erlangen equivalence

The Seven McGucken Dualities are the physical specializations of this Kleinian pair (Table VII.1 below): each duality is a manifestation of the algebraic/geometric split at a different level of physical content.

II.2 The Categories 𝐀𝐥𝐠_{Kln} and 𝐆𝐞𝐨𝐦_{Kln}

We now define the two categories that will figure in the categorical formalization of the Kleinian split.

Definition II.1 (The category 𝐀𝐥𝐠_{Kln}). The category of Kleinian algebraic data has: – Objects: triples (G, 𝔤, 𝒯), where G is a Lie group (the symmetry group of the kinematic content), 𝔤 is its Lie algebra, and 𝒯 is a finite collection of G-invariant tensors specifying the additional algebraic structure (e.g., the Minkowski metric tensor _μν of 𝒯 in the Poincaré case). – Morphisms: a morphism (G, 𝔤, 𝒯) → (G’, 𝔤’, 𝒯’) is a Lie group homomorphism φ: G → G’ such that dφ: 𝔤 → 𝔤’ pulls 𝒯’ back to 𝒯 (i.e., φ is structure-preserving).

Definition II.2 (The category 𝐆𝐞𝐨𝐦_{Kln}). The category of Kleinian geometric data has: – Objects: triples (M, α, K), where M is a smooth manifold (the spacetime substrate), α: G × M → M is a smooth group action (the symmetry action), and K: M × M → ℝ_+ is a propagation kernel (the Huygens kernel, satisfying K(p, q) > 0 iff q is in the forward light cone of p, and K(p, q) = K(p’, q’) whenever (p’, q’) = (_g(p), _g(q)) for some g ∈ G). – Morphisms: a morphism (M, α, K) → (M’, α’, K’) is a smooth G-equivariant map f: M → M’ such that K'(f(p), f(q)) = K(p, q) for all p, q ∈ M (i.e., f preserves the propagation kernel up to the equivariance).

The two categories are related by two functors that will, in §III, be shown to form an adjoint pair.

Definition II.3 (The functor Alg: 𝐆𝐞𝐨𝐦_{Kln} → 𝐀𝐥𝐠_{Kln}). On objects, Alg(M, α, K) = (G, 𝔤, 𝒯) where G = Aut_{Kln}(M, K) is the maximal Lie subgroup of Diff(M) preserving the propagation kernel K (i.e., satisfying the equivariance K(g · p, g · q) = K(p, q)), 𝔤 is its Lie algebra, and 𝒯 is the collection of G-invariant tensors on M (which, for M Lorentzian and K a Lorentz-Huygens kernel, includes the Lorentz metric η). On morphisms, Alg(f) = f_: G → G’ is the induced homomorphism on the kernel-preserving symmetry groups.*

Definition II.4 (The functor Geom: 𝐀𝐥𝐠_{Kln} → 𝐆𝐞𝐨𝐦_{Kln}). On objects, Geom(G, 𝔤, 𝒯) = (M, α, K) where M = G/H for the appropriate isotropy subgroup H (the “homogeneous space” associated with G in Klein’s Erlangen Program), α is the canonical left action of G on M, and K is the unique (up to scalar) G-equivariant propagation kernel constructed from 𝒯 via the wave-equation associated with the G-invariant Lorentz metric (when this metric is part of 𝒯). On morphisms, Geom(φ) is the induced equivariant map between homogeneous spaces.

The categories and functors above are deliberately concrete: they refer to specific Lie groups, manifolds, and kernels that occur in physics, not to abstract category-theoretic objects with unspecified content. The McGucken Principle dx₄/dt = ic specifies a particular object in each category — the Poincaré algebraic data (𝒫, 𝔭, η) in 𝐀𝐥𝐠_{Kln}, and the corresponding Lorentzian-Minkowski geometric data (ℝ^1,3, _𝒫, K_{Lor}) in 𝐆𝐞𝐨𝐦_{Kln} — and the Kleinian equivalence is the statement that these two specifications carry the same information.

II.3 Constructor-Theoretic Vocabulary

The Deutsch–Marletto programme is built on the following primitive vocabulary.

Definition II.5 (Attribute, after [DeutschMarletto2015, §II]). An attribute 𝒳 of a physical system is the equivalence class of physical states satisfying a specifiable property (formal: a subset 𝒳 ⊆ S of the state space S).

Definition II.6 (Task). A task T is a pair T = (𝒳 → 𝒴) of attributes, specifying that physical states with attribute 𝒳 are to be transformed into states with attribute 𝒴.

Definition II.7 (Constructor). A constructor for a task T = (𝒳 → 𝒴) is a physical system that, when presented with any state in attribute 𝒳, produces a state in attribute 𝒴 with arbitrarily high accuracy and reliability, and remains in its constructive capability after performing the transformation.

Definition II.8 (Possibility/Impossibility). A task T is possible if a constructor for T exists (or can be constructed to arbitrary accuracy and reliability); it is impossible if no such constructor can exist consistent with the laws of physics. The fundamental laws of constructor theory are statements about which tasks are possible and which are impossible.

The Deutsch–Marletto programme then formulates physical principles as statements about the possibility relation Poss_{DM}: 𝐓𝐚𝐬𝐤 → 0, 1. The constructor-theoretic Second Law of [Marletto2016] states that for thermodynamic systems there exist tasks T = (𝒳 → 𝒴) with Poss_{DM}(T) = 1 but Poss_{DM}(T^-1) = 0 (where T^-1 = (𝒴 → 𝒳) is the reverse task), and that the directed possibility/impossibility asymmetry is exact and scale-independent rather than statistical or approximate.

The constructor-theoretic information principles of [DeutschMarletto2015] state that: (i) a physical system is an information medium iff certain copying tasks are possible on it; (ii) the system is a superinformation medium (carrying quantum information) iff certain additional tasks (e.g., simultaneous copying of all states) are impossible on it; (iii) the no-cloning theorem follows from the impossibility of one specific copying task.

The Feng–Marletto–Vedral 2024 hybrid impossibility theorem [FengMarlettoVedral2024] states that classical gravity acting on quantum systems cannot preserve quantum momentum or energy conservation laws — i.e., the task of “evolve a quantum system under a classical gravitational field while preserving quantum momentum conservation” is constructor-theoretically impossible — and that this impossibility supports the necessity of quantum-gravity treatments.

II.4 Categorical and 2-Categorical Apparatus

The categorical formalism used in this paper is standard 1-category theory (objects, morphisms, functors, natural transformations, adjunctions, limits, colimits) with limited use of 2-categorical structure (2-cells, weighted colimits, terminal 2-objects). Key references: [MacLane1971] for the 1-categorical apparatus, [JohnstoneTopos] for topos-theoretic applications to physics, [Lurie2009] for the higher-categorical extension, [Schreiber2013] for cohesive topos theory in physics.

The two key constructions used are:

Adjunction (Mac Lane Ch. IV). A pair of functors F: 𝐂 → 𝐃 and G: 𝐃 → 𝐂 is an adjoint pair (written F ⊣ G) if there is a natural isomorphism Hom_𝐃(F(c), d) ≅ Hom_𝐂(c, G(d)) for all c ∈ 𝐂, d ∈ 𝐃. Equivalently, there exist natural transformations η: 𝟏_𝐂 ⇒ G ∘ F (the unit) and ε: F ∘ G ⇒ 𝟏_𝐃 (the counit) satisfying the triangle identities ε F ∘ F η = 𝟏_F and G ε ∘ η G = 𝟏_G. An adjunction expresses a “structural pairing” between two ways of building structure (free vs. forgetful, ⟂ vs. ⟂’, etc.) such that one direction is “dual” to the other.

Equivalence of categories (Mac Lane Ch. IV). An adjunction is an equivalence if both unit and counit are natural isomorphisms (rather than merely natural transformations). An equivalence is the categorical formalization of “the two categories carry the same information up to canonical isomorphism.” Klein’s Erlangen Program, in its modern categorical formulation, asserts an equivalence of categories between geometric data and algebraic data for certain restricted classes; the McGucken specialization to four-dimensional spacetime kinematics is the assertion that the equivalence holds with the dx₄/dt = ic data.

2-category (Lurie 2009 §1.0). A 2-category 𝒦 has objects, 1-morphisms (arrows between objects), and 2-morphisms (arrows between 1-morphisms), with vertical and horizontal compositions and an interchange law. The 2-category 𝐂𝐚𝐭 of small categories has categories as objects, functors as 1-morphisms, and natural transformations as 2-morphisms. A terminal object in a 2-category is one to which there is a unique 1-morphism from each other object, with the uniqueness holding up to 2-isomorphism.

These tools will figure in §III (adjunction), §IV (equivalence), and §VII (2-category).

III. The Categorical Formalization (Theorem III.1)

This section proves that the Kleinian split of dx₄/dt = ic is the adjoint pair (Alg ⊣ Geom) between the categories 𝐀𝐥𝐠_{Kln} and 𝐆𝐞𝐨𝐦_{Kln} of §II.2. The proof proceeds by constructing the unit η and counit ε explicitly, verifying the triangle identities, and identifying dx₄/dt = ic as the unique foundational data realizing the corresponding equivalence at the level of four-dimensional spacetime kinematics.

III.1 Theorem III.1 and Its Components

Theorem III.1 (Categorical Formalization of the Kleinian Split). The pair of functors

Alg: 𝐆𝐞𝐨𝐦_{Kln} → 𝐀𝐥𝐠_{Kln}, Geom: 𝐀𝐥𝐠_{Kln} → 𝐆𝐞𝐨𝐦_{Kln}

of Definitions II.3–II.4 forms an adjoint pair Alg ⊣ Geom, with unit η and counit ε given in Definitions III.2–III.3 and verified to satisfy the triangle identities in Lemmas III.1–III.2. Furthermore: (i) when the foundational data (G, 𝔤, 𝒯) is the Poincaré algebraic content (𝒫, 𝔭, {_{Mink}}) associated with dx₄/dt = ic, the unit and counit at this data are natural isomorphisms — i.e., the adjunction restricts to an equivalence of categories on the McGucken-Kleinian sub-data; (ii) the McGucken Principle dx₄/dt = ic is, up to isomorphism in 𝐀𝐥𝐠_{Kln} × 𝐆𝐞𝐨𝐦_{Kln}, the unique foundational data realizing the equivalence at the level of four-dimensional Lorentzian spacetime kinematics with the empirical content of special relativity.

The theorem has three components: (a) the adjunction Alg ⊣ Geom exists, (b) at the McGucken-Kleinian data the adjunction restricts to an equivalence, (c) dx₄/dt = ic is the unique data realizing the equivalence.

(a) and (b) are technical category-theoretic statements; (c) is the statement (already established in [MG-KNC, Theorem IX.1]) that dx₄/dt = ic is the unique foundational principle. The present paper’s contribution is to make (a) and (b) rigorous in 1-categorical terms, and to identify (c) as the assertion that the McGucken Principle is the terminal Kleinian datum in the category of foundational principles satisfying the Kleinian-pair criterion.

III.2 The Unit η

Definition III.2 (Unit η). For each object (G, 𝔤, 𝒯) ∈ 𝐀𝐥𝐠_{Kln}, define

_{(G, 𝔤, 𝒯)}: (G, 𝔤, 𝒯) Alg(Geom(G, 𝔤, 𝒯))

_{(G, 𝔤, 𝒯)}: G → Aut_{Kln}(G/H, K_{Lor}), g ↦ L_g,

where L_g is the left-translation action of g on the homogeneous space G/H, and Aut_{Kln}(G/H, K_{Lor}) is the maximal Lie subgroup of Diff(G/H) preserving the G-equivariant Lorentz-Huygens kernel K_{Lor}.

Lemma III.1 (Naturality of η). The collection _{(G, 𝔤, 𝒯)} over all (G, 𝔤, 𝒯) ∈ 𝐀𝐥𝐠_{Kln} defines a natural transformation η: 𝟏_{𝐀𝐥𝐠_{Kln}} ⇒ Alg ∘ Geom.

Proof of Lemma III.1. Given a morphism φ: (G, 𝔤, 𝒯) → (G’, 𝔤’, 𝒯’) in 𝐀𝐥𝐠_{Kln}, the naturality square is

G & _G & Aut_{Kln}(G/H, K)

φ & & (Geom(φ)) G’ & _G’ & Aut_{Kln}(G’/H’, K’)

Commutativity follows from the explicit form of Geom(φ) as the canonical map of homogeneous spaces G/H → G’/H’ induced by φ, which intertwines left translations: Geom(φ)(L_g · x) = L_φ(g) · Geom(φ)(x). Composing with the Alg functor (which extracts the kernel-preserving Lie group from the geometric data) yields the commutativity. Q.E.D.

III.3 The Counit ε

Definition III.3 (Counit ε). For each object (M, α, K) ∈ 𝐆𝐞𝐨𝐦_{Kln}, define

_{(M, α, K)}: Geom(Alg(M, α, K)) (M, α, K)

by the canonical map of homogeneous spaces

_{(M, α, K)}: Aut_{Kln}(M, K)/H → M, gH ↦ g · p₀,

where p₀ ∈ M is a fixed base-point and H = Stab_{Aut_{Kln}}(p₀) is its stabilizer.

Lemma III.2 (Naturality of ε). The collection _{(M, α, K)} over all (M, α, K) ∈ 𝐆𝐞𝐨𝐦_{Kln} defines a natural transformation ε: Geom ∘ Alg ⇒ 𝟏_{𝐆𝐞𝐨𝐦_{Kln}}.

Proof of Lemma III.2. Given a morphism f: (M, α, K) → (M’, α’, K’) in 𝐆𝐞𝐨𝐦_{Kln}, the naturality square commutes by the equivariance of f (which sends the base-point p₀ to a base-point p₀‘ = f(p₀) and intertwines the two homogeneous-space identifications). Q.E.D.

III.4 The Triangle Identities

Lemma III.3 (Triangle identities). The unit η and counit ε defined in §§III.2–III.3 satisfy the triangle identities

ε Alg ∘ Alg η = 𝟏_Alg, Geom ε ∘ η Geom = 𝟏_Geom.

Proof. First triangle identity. For (M, α, K) ∈ 𝐆𝐞𝐨𝐦_{Kln} with Alg(M, α, K) = (G, 𝔤, 𝒯), we compute the composite

G (_G) Aut_{Kln}(M, K) = G {_M-induced} G,

which by the explicit constructions of η and ε is the identity on G.

Second triangle identity. For (G, 𝔤, 𝒯) ∈ 𝐀𝐥𝐠_{Kln} with Geom(G, 𝔤, 𝒯) = (G/H, _{can}, K_{Lor}), we compute the composite

G/H _Geom(G) Aut_{Kln}(G/H, K_{Lor})/H (ε) G/H,

which by the canonical identification Aut_{Kln}(G/H, K_{Lor}) = G (when G acts faithfully and transitively, which is the case for the Poincaré data) is the identity on G/H. Q.E.D.

Lemmas III.1–III.3 jointly establish that (Alg ⊣ Geom) is an adjunction.

III.5 The Equivalence at the McGucken-Kleinian Data

Lemma III.4 (Equivalence at the Poincaré data). At the foundational data (𝒫, 𝔭, {_{Mink}}) ∈ 𝐀𝐥𝐠_{Kln} associated with the McGucken Principle dx₄/dt = ic, the unit _𝒫 and counit _ℝ^1,3 are natural isomorphisms. Equivalently, the adjunction Alg ⊣ Geom restricts to an equivalence of categories on the full subcategory generated by the Poincaré-Minkowski Kleinian data.

Proof. The Poincaré group 𝒫 acts faithfully and transitively on Minkowski space ℝ^1,3, and the isotropy subgroup of any base-point is the Lorentz subgroup L = O(1,3). The maximal kernel-preserving Lie subgroup of Diff(ℝ^1,3) for the Lorentz-Huygens kernel K_{Lor} is exactly 𝒫 (this is the classical statement that the isometry group of the Lorentz-invariant retarded Green’s function is the Poincaré group, [Hawking-Ellis, §3.3]). Therefore _𝒫: 𝒫 → Aut_{Kln}(ℝ^1,3, K_{Lor}) is an isomorphism (in fact the identity), and dually _ℝ^1,3: 𝒫/L → ℝ^1,3 is the canonical identification, also an isomorphism. Q.E.D.

Theorem III.1 follows. Lemmas III.1–III.4 establish (a) the adjunction Alg ⊣ Geom exists, (b) the adjunction restricts to an equivalence at the Poincaré-Minkowski data, and (c) the equivalence is the categorical formalization of Klein’s Erlangen Program. The uniqueness statement (c) of Theorem III.1 — that dx₄/dt = ic is the unique foundational data realizing the equivalence at the level of four-dimensional Lorentzian spacetime kinematics with the empirical content of special relativity — is imported from [MG-KNC, Theorem IX.1] and is not re-proven here; the present paper’s contribution is to identify the [MG-KNC] uniqueness statement as a categorical universal property (the McGucken Principle is the terminal Kleinian datum, in the sense made precise in §VII.4). Q.E.D. (Theorem III.1)

III.6 Remark: What This Categorical Formalization Buys

The categorical formalization of the Kleinian split has three immediate consequences.

Remark III.1.1 (Klein’s Erlangen Program rigorized). Klein’s 1872 program asserted that geometric and algebraic data are equivalent specifications of homogeneous spaces. In modern categorical language, this is an equivalence of categories — and Theorem III.1 makes the equivalence rigorous for the McGucken-Kleinian sub-data. The 1872 program is not merely a heuristic; it is, when properly formalized, an adjoint pair that restricts to an equivalence on appropriate sub-data.

Remark III.1.2 (Channel A and Channel B as adjoint). The structural assertion in [MG-KNC] that “Channel A and Channel B are two faces of one Kleinian object” is, in the precise categorical sense established by Theorem III.1, the assertion that they are related by an adjunction that restricts to an equivalence on the McGucken-Kleinian sub-data. The two channels are not independent specifications; they are categorically dual (in the adjoint sense).

Remark III.1.3 (Universal-property characterization of Haar measure). The Haar-measure derivation in [MG-Thermo, Proposition V.1] is recognizable, in light of Theorem III.1, as a universal-property argument: the Haar measure is the unique (up to scalar) G-invariant Borel measure on the homogeneous space, in the precise sense that it is the terminal object in the category of G-invariant Borel measures with morphisms given by scalar rescaling. The categorical formalization explains why the Haar measure derivation produces a uniqueness statement: the derivation is universal-property reasoning in disguise.

These remarks point toward a broader programme: the categorical formalization of the McGucken-Kleinian framework supplies categorical interpretations for many of the framework’s results, recasting them as universal-property statements, terminal-object characterizations, and adjoint-functor derivations. This is not a re-derivation of the McGucken results in different language; it is a structural enrichment that makes the categorical content of those results explicit.

III.7 Connection to the Lagrangian Initial-Object Theorem

The categorical formalization of Theorem III.1 admits a structurally complementary statement at the Lagrangian level, established in the companion paper [MG-LagrangianOptimality, Theorem 4.3]. Both statements are universal-property characterizations within categorical formalizations of the McGucken framework, but they sit at different levels of the structural hierarchy and characterize complementary universal properties.

Theorem III.1 (the present paper): Sev is terminal in 𝐅𝐨𝐮𝐧𝐝_{Kln}. The 2-category of seven dualities is the universal target — every Kleinian foundational framework admits an essentially unique 1-morphism into Sev, with the seven dualities serving as the universal classification scheme.

Theorem 4.3 of [MG-LagrangianOptimality]: ℒ_{McG} is initial in the category 𝒞 of Lagrangian field theories satisfying seven structural conditions (Poincaré invariance, local gauge invariance for compact Lie group G, diffeomorphism invariance, first-order field equations, matter content as Poincaré unitary irreducible representations, the matter orientation condition, and the McGucken-Invariance Lemma). The McGucken Lagrangian is the universal source — every Lagrangian field theory in 𝒞 factors through ℒ_{McG} via a unique structure-preserving morphism.

The two statements are dual in the precise categorical sense: terminality and initiality are dual universal properties, characterizing the maximum-target and maximum-source objects of a category respectively. The McGucken framework therefore exhibits a double universal property: at the Lagrangian level it is initial (everything factors through it), at the duality-classification level it is terminal (everything classifies into it). The two universal properties are not redundant — they characterize different aspects of the framework’s structural position.

Lemma III.5 (Compatibility of the two universal properties). The Lagrangian initial-object property of [MG-LagrangianOptimality, Theorem 4.3] and the dualities terminal-object property of Theorem VII.1 of the present paper are compatible in the sense that the canonical 1-morphism ℱ → Sev for ℱ ∈ 𝐅𝐨𝐮𝐧𝐝_{Kln} corresponds, at the Lagrangian level, to the canonical morphism ℒ_{McG} → ℒ_ℱ in 𝒞 — the two universal properties intertwine via the Lagrangian-to-duality assignment that maps each sector of ℒ to the corresponding duality level.

Proof Sketch. A Kleinian foundational framework ℱ has both a Lagrangian content (an object ℒ_ℱ ∈ 𝒞 by [MG-LagrangianOptimality, Theorem 4.3]) and a duality-level content (an object in 𝐅𝐨𝐮𝐧𝐝_{Kln} by Definition VII.2 of the present paper). The Lagrangian initial-object morphism ℒ_{McG} → ℒ_ℱ is the structure-preserving Lagrangian embedding. The duality-level terminal-object morphism ℱ → Sev is the assignment of ℱ‘s seven specialization levels to the corresponding L_i. The compatibility is the categorical assertion that these two morphisms agree on the structural content shared by both characterizations — the seven dualities are exactly the “structural cells” through which the Lagrangian initial-object morphism factors at the duality-classification level. The detailed compatibility proof requires the matter-orientation-preservation analysis of [MG-LagrangianOptimality, §V] and the categorical formalism of §VII.2 of the present paper; the sketch here identifies the structural content. Q.E.D. (Sketch)

The structural significance of the double universal property is that the McGucken framework is simultaneously the initial source and the terminal target — categorically, it occupies a position in foundational physics that is universal in both directions. No other foundational physics framework currently known to the author achieves either universal property; the McGucken framework achieves both.

IV. Klein’s Erlangen Program in Modern Geometric Language

This section places Theorem III.1 in the broader context of modern geometric programmes — Cartan geometry, principal bundles, étale stacks, cohesive higher topos theory — and identifies what is structurally distinctive about the McGucken specialization within this larger landscape.

IV.1 Klein, Cartan, and the Generalized Erlangen Programme

Klein’s 1872 Erlangen Program identifies a geometry with a pair (M, G) of a manifold M and a group G acting transitively on M, with the geometric content being the G-invariants. This works for homogeneous geometries — those in which G acts transitively, so that “every point looks like every other point.”

Élie Cartan extended this in the 1920s to non-homogeneous geometries via the notion of a Cartan geometry: a principal bundle P → M with structure group H, equipped with a Cartan connection ω: TP → 𝔤 taking values in a larger Lie algebra 𝔤 ⊃ 𝔥. When the Cartan curvature Ω = dω + (1/2)[ω, ω] vanishes, the Cartan geometry reduces to a Klein geometry (homogeneous). When it is nonzero, the geometry is modeled on the Klein geometry (G/H, G) but is not itself homogeneous — Riemannian geometry is the canonical example, modeled on Euclidean geometry but with curvature.

The McGucken Principle, in this language, specifies a Klein geometry (Minkowski space modeled on the Poincaré group) at the foundational level, and Cartan specializations (general relativity modeled on Minkowski geometry, with non-zero curvature) at higher levels. The Kleinian split of dx₄/dt = ic into algebraic and geometric content is the data that defines the foundational Klein geometry; the Cartan extensions are obtained by allowing the curvature to be non-zero while preserving the local Klein structure.

IV.2 Principal Bundles and the Yang-Mills Generalization

Cartan’s generalization extends naturally to principal bundles: a principal G-bundle P → M with connection ω specifies a “twisted” Klein geometry in which the G-action is fibre-wise rather than global. Yang-Mills theory is precisely the dynamical theory of principal bundles with connection, with the field-strength F = dω + ω ∧ ω playing the role of the Cartan curvature.

In the McGucken framework, the Standard-Model gauge structure U(1) × SU(2) × SU(3) is principal-bundle data with the gauge invariance derived from x₄-phase indeterminacy [MG-SM, Theorems 5, 10–11; MG-QED]. The gauge fields are connections on the principal bundle; the matter fields are sections of associated vector bundles. Theorem III.1 generalizes to this setting: the categorical formalization of the Kleinian split extends naturally to principal-bundle Kleinian data, with the adjunction Alg ⊣ Geom between the corresponding categories of bundle-theoretic algebraic data (gauge group + connection + curvature constraints) and bundle-theoretic geometric data (manifold + bundle + propagation kernel for charged matter). The principal-bundle generalization is developed in [MG-SM] and is not re-derived here; the categorical formalization of this generalization is left as future work.

IV.3 Étale Stacks and the Higher-Categorical Generalization

Modern geometric programmes (algebraic geometry, derived geometry, synthetic differential geometry) replace the smooth-manifold substrate of classical Cartan geometry with more general substrates: schemes, derived schemes, étale stacks. Lurie’s higher topos theory [Lurie2009] provides the categorical apparatus, with Schreiber’s cohesive higher topos programme [Schreiber2013] specializing to physical applications.

In Schreiber’s language, a physical theory is specified by a cohesive ∞-topos (an ∞-category satisfying axioms ensuring it carries a notion of “smooth structure”) together with specific objects and morphisms within that topos. Klein-Cartan geometric data and Yang-Mills bundle data are special cases of this higher-categorical specification.

The McGucken-Kleinian programme, viewed through this lens, is a very specific foundational data within the cohesive ∞-topos 𝐇 of smooth manifolds: the foundational data is the pair (𝒫, ℝ^1,3) with the dx₄/dt = ic propagation kernel, and the specializations are the Cartan, principal-bundle, and higher derivations corresponding to general relativity, gauge theories, and quantum field theory respectively. The McGucken framework therefore specifies the unique foundational Kleinian datum in the cohesive ∞-topos of smooth manifolds whose specializations recover the known content of physics, in the precise sense made explicit by the [MG-KNC] uniqueness theorem and Theorem III.1 of the present paper.

IV.4 What Is Structurally Distinctive about the McGucken Specialization

The broader Klein-Cartan-bundle-stack programme is methodologically capacious: it can accommodate many physical theories that share the homogeneous-space-plus-curvature-deformation structure. What makes the McGucken specialization structurally distinctive is the identification of a specific, simple, single foundational principle — dx₄/dt = ic — whose Kleinian data realizes the foundational equivalence at the level of four-dimensional Lorentzian kinematics, and from whose specializations the full content of physics can be derived.

Three structural features distinguish the McGucken specialization within the broader landscape:

(D1) Single primitive, not a structural template. Cartan geometry, principal-bundle geometry, and étale-stack geometry are templates that admit many specific instantiations (Riemannian, Lorentzian, Yang-Mills, derived). The McGucken framework picks one specific instantiation — dx₄/dt = ic — and asserts that this instantiation generates the known content of physics. The framework is therefore not merely a structural template but a specific physical claim.

(D2) Generative completeness, not just consistency. Cartan and bundle templates supply consistent mathematical structures on which physical theories can be built; they do not, by themselves, generate those theories. The McGucken framework, by contrast, generatively produces the Standard Model + GR machinery (Schrödinger, Dirac, Maxwell, Einstein, Bekenstein-Hawking, the strict Second Law) from a single primitive, with explicit derivation chains established in [MG-Master], [MG-Lagrangian], [MG-Thermo].

(D3) Empirical content, not just structural elegance. The McGucken framework supplies a falsifiable empirical prediction — the Compton-coupling diffusion D_x^{McG} = ε² c² Ω/(2γ²) derived in [MG-Thermo, Proposition VII.3] — that distinguishes it from generic Klein-Cartan-bundle templates. The categorical formalization, taken alone, would be elegant but empirically empty; combined with the McGucken Principle’s specific physical content, it acquires empirical bite.

These three features — single primitive, generative completeness, empirical content — are what make the McGucken specialization more than a categorical exercise. The categorical formalization of §III is not the source of the framework’s empirical content; it is the structural grammar in which the empirical content is most clearly articulated.

V. The Constructor-Theoretic Foundation Theorem (Theorem V.1)

This section proves the central physical result of the paper: the Deutsch–Marletto constructor-theoretic possibility/impossibility structure is derivable from the McGucken Principle dx₄/dt = ic. The proof proceeds by constructing an explicit possibility relation Poss_{McG} on the category of physical tasks via Channel-B propagation, showing that the Deutsch–Marletto possibility relation is a sub-relation, and verifying that the constructor-theoretic Second Law, the constructor-theoretic information principles, and the recent Feng–Marletto–Vedral hybrid impossibility theorems are each derivable from Poss_{McG}.

V.1 The Geometric Possibility Relation

The McGucken framework supplies, for any physical task T = (𝒳 → 𝒴), a specific geometric criterion for whether T is possible. The criterion is stated in terms of Channel-B propagation on the McGucken Sphere — equivalent to the criterion that the input and output attributes are connected by a sequence of Huygens-wavefront-mediated transformations consistent with x₄‘s monotonic advance.

Definition V.1 (Channel-B propagation chain). Given attributes 𝒳, 𝒴 of a physical system, a Channel-B propagation chain from 𝒳 to 𝒴 is a finite sequence of intermediate attributes 𝒳 = 𝒵₀, 𝒵₁, , 𝒵_n = 𝒴 together with spacetime events p₀, p₁, , p_n and Channel-B propagation steps 𝒵_i ⇝ 𝒵_i+1 such that: – (i) for each i, the propagation step is a Huygens wavefront from event p_i to event p_i+1 with p_i+1 in the forward light cone of p_i (i.e., p_i+1 ∈ B_+(p_i; t_i+1) with t_i+1 > t_i); – (ii) the attributes 𝒵_i, 𝒵_i+1 are compatible with the Channel-B propagation step in the sense that 𝒵_i+1 is realizable by Channel-B propagation from 𝒵_i (formally: there is a measurable function _i: 𝒵_i × B_+(p_i; t_i+1) → 𝒵_i+1 satisfying the Huygens kernel propagation equation [MG-HLA, Proposition III.1]); – (iii) the time-ordering is consistent with x₄‘s monotonic advance, i.e., t₀ < t₁ < < t_n.

Definition V.2 (McGucken possibility relation Poss_{McG}). Define Poss_{McG}: 𝐓𝐚𝐬𝐤 → 0, 1 on the category of tasks by $$\mathsf{Poss}_{\mathrm{McG}}(T) = \begin{cases} 1 & \text{if there exists a Channel-B propagation chain from 𝒳 to 𝒴 for T = (𝒳 → 𝒴),} \\ 0 & \text{otherwise.}\end{cases}$$

The McGucken possibility relation has three immediate properties.

(P1) Reflexivity: for every attribute 𝒳, the trivial task (𝒳 → 𝒳) is possible (take n = 0 in Definition V.1).

(P2) Composition: if Poss_{McG}(𝒳 → 𝒴) = 1 and Poss_{McG}(𝒴 → 𝒵) = 1, then Poss_{McG}(𝒳 → 𝒵) = 1 (concatenate the Channel-B chains).

(P3) Time-asymmetry: if Poss_{McG}(𝒳 → 𝒴) = 1 via a chain that strictly increases the entropy at some step, then Poss_{McG}(𝒴 → 𝒳) = 0, because the reverse chain would require x₄ to advance at rate -ic at the entropy-increasing step, contradicting the McGucken Principle.

(P3) is the constructor-theoretic Second Law in geometric form: the impossibility of entropy-decreasing transformations is the impossibility of x₄-rate-reversing Channel-B chains.

V.2 Theorem V.1: The Constructor-Theoretic Foundation

Theorem V.1 (Constructor-Theoretic Foundation Theorem). Let Poss_{DM}: 𝐓𝐚𝐬𝐤 → 0, 1 be the Deutsch–Marletto possibility relation as defined by [DeutschMarletto2015, §II] and [Marletto2016, §III]. Let Poss_{McG}: 𝐓𝐚𝐬𝐤 → 0, 1 be the McGucken possibility relation of Definition V.2. Then: (i) Geometric extension. Every task T with Poss_{DM}(T) = 1 also satisfies Poss_{McG}(T) = 1, under the matter-coupling postulate of [MG-Compton] that physical attributes are realized by states of fields participating in x₄-kinematics. (ii) Geometric criterion. Every task T with Poss_{DM}(T) = 0 admits a McGucken-geometric proof of impossibility: there is no Channel-B propagation chain from 𝒳 to 𝒴 in any frame consistent with x₄‘s monotonic advance. (iii) Theorem inheritance. The constructor-theoretic Second Law of [Marletto2016, §VII] is Theorem VII.1 of [MG-Thermo] expressed in possibility/impossibility vocabulary; the constructor-theoretic information principles of [DeutschMarletto2015, §§III–V] are corollaries of x₄-spherical-projection structure (developed in §VI.2 below); the Feng–Marletto–Vedral hybrid impossibility theorem of [FengMarlettoVedral2024, Theorem 1] follows from the no-graviton prediction of [MG-Lagrangian, §VIII.16.4] combined with the Channel-A momentum-conservation derivation of [MG-Noether, Propositions IV.3–IV.4].

Proof. Component (i) — Geometric extension. Let T = (𝒳 → 𝒴) be a task with Poss_{DM}(T) = 1. By Definition II.7, this means a Deutsch–Marletto constructor for T exists — a physical system that performs the transformation 𝒳 → 𝒴 with arbitrary accuracy and reliability, retaining its constructive capability. Under the matter-coupling postulate of [MG-Compton], the constructor’s physical realization is a configuration of fields participating in x₄-kinematics — i.e., evolving through Channel-B propagation between successive stages of its operational cycle. Therefore the constructor’s input-stage states (in attribute 𝒳) are connected to its output-stage states (in attribute 𝒴) by a sequence of Channel-B propagation steps along the constructor’s worldline. This sequence is, by Definition V.1, a Channel-B propagation chain from 𝒳 to 𝒴. By Definition V.2, Poss_{McG}(T) = 1. (i) ✓

Component (ii) — Geometric criterion. Let T be a task with Poss_{DM}(T) = 0. By the constructor-theoretic interpretation of impossibility ([Marletto2016, §III]), this means no constructor for T can exist consistent with the laws of physics. Under the McGucken framework, the laws of physics are theorems of dx₄/dt = ic; a constructor for T would require a sequence of Channel-B propagation steps connecting 𝒳 to 𝒴 that is consistent with x₄‘s monotonic advance. The non-existence of such a constructor (under Poss_{DM}(T) = 0) is therefore the non-existence of such a Channel-B chain — a McGucken-geometric proof of impossibility. (ii) ✓

Component (iii) — Theorem inheritance. Each of the three theorems is established in its own subsection of §VI: the constructor-theoretic Second Law in §VI.3 (where Theorem VII.1 of [MG-Thermo] is restated as the impossibility of entropy-decreasing tasks), the no-cloning theorem (representing the constructor-theoretic information principles) in §VI.2 (where the Channel-B spherical-projection structure of x₄-expansion is shown to imply the impossibility of perfect cloning), and the Feng–Marletto–Vedral hybrid impossibility in §VI.4 (where the no-graviton prediction of [MG-Lagrangian, §VIII.16.4] combined with the Channel-A momentum-conservation derivation of [MG-Noether] yields the impossibility of classical gravity preserving quantum momentum conservation). The detailed derivations are in §VI; the inheritance claim is that these derivations are theorems of the McGucken framework rather than independent constructor-theoretic axioms. (iii) ✓

The combined components establish Theorem V.1. Q.E.D.

V.3 What Theorem V.1 Establishes

Theorem V.1 establishes that the Deutsch–Marletto constructor-theoretic possibility/impossibility structure is a theorem of dx₄/dt = ic rather than an independent foundational specification. The constructor-theoretic vocabulary remains useful — it expresses impossibility statements in a substrate-independent form that is methodologically powerful — but the grounding of those statements is geometric.

This is structurally analogous to the relationship between thermodynamics and statistical mechanics in the classical literature: thermodynamics expresses irreversibility statements substrate-independently (without committing to a microscopic mechanism), and statistical mechanics grounds those statements in a microscopic mechanism. The McGucken framework provides the microscopic-mechanism grounding for constructor theory’s substrate-independent statements, much as Boltzmann’s microscopic mechanism grounded Clausius’s substrate-independent thermodynamics.

A reader unfamiliar with constructor theory may find this relationship puzzling: “constructor theory does not need a microscopic mechanism — that’s the whole point.” This is correct as a methodological statement: constructor-theoretic reasoning proceeds without committing to a specific mechanism, and this is its strength. But Theorem V.1 does not require constructor theory to commit; it simply identifies one mechanism (dx₄/dt = ic) that would realize the constructor-theoretic structure if it is the correct foundational physics. The McGucken framework therefore stands to constructor theory as a specific physical realization to a substrate-independent specification — analogous to how the Standard Model + GR is a specific physical realization of the substrate-independent quantum-field-theory + gauge-symmetry framework.

V.4 Comparison with the Marletto–Deutsch Programme

The Marletto–Deutsch programme has, over a decade of development, produced a rich body of structural theorems within the constructor-theoretic framework. Key results include:

– The constructor theory of information [DeutschMarletto2015]: the no-cloning theorem and the existence of complementary observables follow from the impossibility of certain constructor-theoretic copying tasks on superinformation media. – The constructor theory of thermodynamics [Marletto2016]: the Second Law follows from the impossibility of certain adiabatic-accessibility transformations, with the formulation being scale-independent and exact. – The constructor theory of life [Marletto2014Life]: living things are characterized as “knowledge-bearing constructors” — entities capable of self-replication tasks — with the constructor-theoretic structure providing a substrate-independent characterization. – The constructor theory of time [Marletto2025Time]: time is recharacterized as the parameter of cyclic constructor-theoretic tasks, with the underlying dynamical laws remaining timeless. – Hybrid quantum-classical impossibility theorems [FengMarlettoVedral2024]: classical gravity acting on quantum systems cannot preserve quantum momentum or energy conservation, supporting the necessity of quantum gravity.

Theorem V.1 establishes that each of these results is derivable in the McGucken framework via Channel-B propagation analysis. The detailed derivations are developed in §VI (no-cloning, Second Law, hybrid impossibility); the constructor theory of life and the constructor theory of time admit analogous derivations that are deferred to future work because they require the matter-coupling extensions of [MG-Compton] and [MG-Wick] respectively.

Note on intellectual priority and structural relationship. The Marletto–Deutsch programme and the McGucken–Kleinian programme were developed independently — Marletto and Deutsch starting from the abstract counterfactual structure of physical possibility, McGucken starting from the Princeton-undergraduate work with Wheeler/Peebles/Taylor and the geometric content of dx₄/dt = ic [MG-FQXi-2008; MG-Book2016; MG-BookEntanglement]. The structural relationship established here is not a priority claim in either direction; it is a recognition that two independently developed programmes converge on an empirically equivalent description of physical impossibility, with the McGucken framework supplying a geometric mechanism for the constructor-theoretic structure that constructor theory deliberately leaves unspecified.

VI. Three Constructor-Theoretic Theorems Derived from dx₄/dt = ic

This section develops three specific applications of Theorem V.1: the constructor-theoretic no-cloning theorem (§VI.2), the constructor-theoretic Second Law (§VI.3), and the Feng–Marletto–Vedral hybrid quantum-classical impossibility theorem (§VI.4). Each is derived from the McGucken framework via Channel-B propagation analysis.

VI.1 General Strategy

For each constructor-theoretic theorem T_{CT} of the form “task T is impossible,” the McGucken-derivation strategy is:

1. Identify the input attribute 𝒳 and output attribute 𝒴 specifying T in McGucken-geometric vocabulary (i.e., as classes of states of fields participating in x₄-kinematics). 2. Show that no Channel-B propagation chain from 𝒳 to 𝒴 exists consistent with x₄‘s monotonic advance, using the specific geometric content of dx₄/dt = ic (spherical isotropy, monotonic advance, Compton-frequency matter coupling, etc.). 3. Conclude Poss_{McG}(T) = 0, which by Theorem V.1 (ii) is the geometric criterion of Poss_{DM}(T) = 0.

The strategy is methodologically uniform across the three applications below.

VI.2 The No-Cloning Theorem (Wootters–Zurek 1982; Constructor-Theoretic Version)

Statement. The task T_{clone} = (𝒳_{single} ⊗ 𝒵_{blank} → 𝒳_{single} ⊗ 𝒳_{single}) — copying an arbitrary unknown quantum state — is impossible. Constructor-theoretically: no constructor for the universal quantum-cloning task can exist [DeutschMarletto2015, Theorem 2; Wootters1982; Dieks1982].

McGucken Derivation. Under Channel-B propagation, a single quantum state of a particle is realized as a McGucken-Sphere-distributed wavefront _{_+(p0; t)} centered on the emission event p₀, with the Born-rule probability density given by |ψ|² on the sphere [MG-Born; MG-Twistor, Proposition X.6]. The cloning task requires producing two independent copies of this state — i.e., two independent McGucken-Sphere-distributed wavefronts, each centered on a different spacetime event (since the two copies must be at different spacetime locations to be independently manipulable).

Suppose, for contradiction, that a Channel-B propagation chain from 𝒳_{single} ⊗ 𝒵_{blank} to 𝒳_{single} ⊗ 𝒳_{single} exists. Then there is a sequence of Channel-B steps producing the second copy of 𝒳_{single} from the blank state 𝒵_{blank}, with the second copy McGucken-Sphere-distributed around a second event p₁ ≠ p₀. For the copy to be exact (i.e., the same Born-rule probability density |ψ|²), the McGucken-Sphere distribution centered on p₁ must replicate the distribution centered on p₀. But the spherical-projection structure of Channel-B propagation forbids this: the McGucken Sphere centered on p₁ is, by definition, the wavefront emanating from p₁, which carries information about p₁ (the spacetime event from which it expands), not the same information as the wavefront from p₀. The two spheres differ at minimum in their center-events; the cloning task therefore would require Channel-B propagation to produce a wavefront centered on p₁ that is identical to one centered on p₀ — a contradiction of Channel-B’s spherical-projection structure.

Therefore Poss_{McG}(T_{clone}) = 0, and by Theorem V.1 (ii), Poss_{DM}(T_{clone}) = 0. This recovers the Deutsch–Marletto constructor-theoretic no-cloning theorem from the McGucken framework. Q.E.D.

Remark VI.2.1. The McGucken derivation locates the no-cloning impossibility in the geometry of Channel-B propagation, not in the abstract “superinformation” structure of [DeutschMarletto2015]. The two routes are not in conflict: the superinformation structure is the abstract reformulation of what the McGucken-geometric structure realizes physically. Constructor theory’s substrate-independence is preserved because the McGucken-geometric impossibility is a specific impossibility for this substrate (x₄-kinematic fields); the abstract constructor-theoretic theorem applies to any substrate exhibiting analogous structural properties.

Remark VI.2.2. A complementary derivation locates the no-cloning impossibility in the unitary-evolution constraint of [MG-HLA, §IV] — the Schrödinger evolution generated by dx₄/dt = ic is unitary, and unitary evolution cannot duplicate arbitrary states (this is the standard Wootters-Zurek argument). The two McGucken derivations — one geometric (Channel B), one dynamical (unitary evolution) — terminate in the same impossibility, with the dynamical derivation being the projection of the geometric one onto the spatial hyperslice. The dual derivation is consistent with the disjoint-derivational-chains structure of the McGucken framework [MG-Thermo, §IV.5; MG-Master].

VI.3 The Constructor-Theoretic Second Law

Statement. Let 𝒳_{ordered} be a low-entropy attribute of a thermodynamic system and 𝒴_{disordered} be a high-entropy attribute reachable from 𝒳_{ordered} by some natural process. Then the forward task T_+ = (𝒳_{ordered} → 𝒴_{disordered}) is possible, and the reverse task T_- = (𝒴_{disordered} → 𝒳_{ordered}) is impossible. The asymmetry is exact and scale-independent [Marletto2016, §VII].

McGucken Derivation. From Theorem VII.1 of [MG-Thermo], the entropy of an ensemble undergoing Channel-B propagation grows strictly: dS/dt = (3/2)k_B/t > 0 for every t > 0, with the strictness inherited from x₄‘s monotonic advance. The forward task T_+ corresponds to a Channel-B propagation chain in which entropy strictly increases; such a chain exists, by the construction of Theorem VII.1. Therefore Poss_{McG}(T_+) = 1.

The reverse task T_- would require a Channel-B propagation chain in which entropy strictly decreases. By the strict positivity of dS/dt for every t > 0 established in Theorem VII.1, no such chain exists consistent with x₄‘s monotonic advance — entropy cannot decrease because x₄ cannot retreat (Remark VII.1.1 of [MG-Thermo]). Therefore Poss_{McG}(T_-) = 0, and by Theorem V.1 (ii), Poss_{DM}(T_-) = 0. Q.E.D.

Remark VI.3.1 (Exactness and scale-independence inherited). The constructor-theoretic Second Law of [Marletto2016] is exact (not statistical) and scale-independent (not requiring thermodynamic-limit averaging). The McGucken derivation inherits both properties: the strictness of dS/dt > 0 in Theorem VII.1 is geometric (inherited from x₄‘s monotonic advance), not statistical. The impossibility of T_- holds at every scale because the McGucken Sphere at every scale is forward-only — there is no “small enough” thermodynamic system for which x₄ could retreat.

Remark VI.3.2 (Connection to Marletto’s adiabatic-accessibility formulation). Marletto’s [Marletto2016] formulation defines the Second Law via adiabatic accessibility: a system can be adiabatically transformed from state 𝒳 to state 𝒴 iff the constructor-theoretic task (𝒳 → 𝒴) is possible. The McGucken framework refines this: adiabatic accessibility is Channel-B accessibility, the existence of a Huygens-wavefront propagation chain between the corresponding x₄-kinematic configurations. The Marletto formulation is recovered by projecting the McGucken-geometric criterion onto the adiabatic-thermodynamic substrate.

VI.4 The Feng–Marletto–Vedral Hybrid Impossibility Theorem

Statement. Classical gravity acting on quantum systems cannot preserve quantum momentum or energy conservation laws — equivalently, the task “evolve a quantum system under a classical gravitational field while preserving quantum momentum conservation” is constructor-theoretically impossible [FengMarlettoVedral2024, Theorem 1]. The result has been argued to support the necessity of quantum gravity.

McGucken Derivation. The McGucken framework predicts the non-existence of the graviton as a consequence of dx₄/dt = ic [MG-Lagrangian, §VIII.16.4; MG-GR, §VII.3]: gravity is the dynamics of the spatial metric h_ij, which is smooth and continuous rather than oscillatory, so no quantum of spatial-curvature exists. Channel A’s quantization structure applies to oscillatory x₄-modes (yielding the photon, the matter quanta, the gauge bosons), not to spatial-curvature modes. The McGucken framework therefore agrees with [FengMarlettoVedral2024]’s conclusion that quantum gravity is necessary in the sense of being structurally required by self-consistency, but disagrees on the nature of the required quantum-gravity treatment: there is no quantized graviton field, but rather the gravitational dynamics derives from the same Kleinian foundational data as the matter dynamics, with the apparent “incompleteness” of classical gravity being a Channel-A/Channel-B mismatch rather than the absence of a graviton field.

The hybrid impossibility itself is derived as follows. Quantum momentum conservation, in the McGucken framework, is the Channel-A theorem 𝔭₃ = -iℏ ₃ generating spatial translations [MG-Noether, Propositions IV.3–IV.4; MG-Commut]. The conservation law derives from the spatial-translation invariance of the algebraic-content side of the Kleinian split. A classical gravitational field, by hypothesis, is a non-quantum (commutative-valued) deformation of the spatial metric; under such a deformation, the spatial-translation operator ₃ no longer commutes with the gravitational Hamiltonian (because the metric is non-trivial and position-dependent), so the quantum momentum operator -iℏ₃ ceases to be conserved. The task “evolve quantum system under classical gravity while preserving quantum momentum conservation” therefore requires Channel-B propagation through a configuration where the spatial-translation invariance of Channel A is broken without compensating quantum-gravitational structure — an inconsistent specification, hence no Channel-B chain realizes it.

Therefore Poss_{McG}(T_{hybrid}) = 0, and by Theorem V.1 (ii), Poss_{DM}(T_{hybrid}) = 0. The Feng–Marletto–Vedral 2024 hybrid impossibility theorem is recovered from the McGucken framework. Q.E.D.

Remark VI.4.1 (Sharper statement). The McGucken framework supplies a sharper version of the Feng–Marletto–Vedral statement: the impossibility is not “classical gravity cannot preserve quantum conservation laws” (which leaves open the question of what “quantum gravity” should be) but rather “the spatial-metric dynamics that is gravity must derive from the same foundational data as the quantum dynamics — specifically, from dx₄/dt = ic — and any treatment that holds the metric classical while quantizing the matter sector violates the Kleinian unity of the foundational data.” This is a structural claim about foundational consistency, not about graviton existence.

Remark VI.4.2 (Empirical content). The Feng–Marletto–Vedral programme generates testable predictions for hybrid quantum-gravity experiments [FengMarlettoVedral2024, §V]. The McGucken framework supplies sharper predictions by way of the Compton-coupling diffusion D_x^{McG} = ε² c² Ω/(2γ²) of [MG-Thermo, Proposition VII.3], which is (i) temperature-independent, (ii) mass-independent at fixed velocity, and (iii) sharply distinguishable from ordinary thermal diffusion. A direct comparison of McGucken and Feng–Marletto–Vedral predictions in laboratory regimes is left to future experimental work.

VI.5 Summary of §VI Applications

Theorem	Source	McGucken-Geometric Mechanism
No-cloning	[DM2015, Thm 2]	Channel-B spherical-projection: cannot replicate wavefront on different center-event
Second Law (constructor form)	[Marletto2016, §VII]	Theorem VII.1 of [MG-Thermo]: dS/dt > 0 strict
Hybrid impossibility	[FMV2024, Thm 1]	Channel-A momentum conservation breaks under classical metric deformation; no graviton in McGucken framework

Each of the three constructor-theoretic theorems is derived from the McGucken framework via Channel-B propagation analysis (Theorems V.1, with explicit derivations in §§VI.2–VI.4). The derivations terminate in the single principle dx₄/dt = ic, exhibiting the same disjoint-derivational-chain structure that characterizes the thermodynamics paper [MG-Thermo, §IV.5]. The constructor-theoretic vocabulary remains useful — it expresses each impossibility in substrate-independent form — but the structural foundation is geometric.

VII. The Two-Categorical Structure of the Seven Dualities (Theorem VII.1)

This section proves that the Seven McGucken Dualities form a 2-category and that the [MG-KNC] closure theorem is the categorical statement that this 2-category is terminal in an appropriate ambient 2-category of foundational physics frameworks.

VII.1 The Seven Dualities and Their 2-Categorical Status

The Seven McGucken Dualities, established as the closure result of [MG-KNC, Theorem I.2], are:

#	Duality	Algebraic side (Channel A)	Geometric side (Channel B)
1	Hamiltonian / Lagrangian	, p canonical pairs	δ S = 0 on worldline
2	Conservation laws / 2nd Law	Noether _μ J^μ = 0	dS/dt > 0 Channel-B
3	Heisenberg / Schrödinger	Operator [q, p] = iℏ	Wave iℏ _t ψ
4	Wave / Particle	Commutators / quanta	K(ψ) wavefront
5	Locality / Nonlocality	Microcausality [φ, φ’] = 0	McGucken Sphere shared center
6	Rest mass / Energy of motion	E² = m² c⁴ + p² c²	u^μ u_μ = -c² budget
7	Time / Space	x⁰ vs xⁱ symmetry	x₄ = ict perpendicular

Each row exhibits the same structural pattern: a ℤ/2-graded pair of an algebraic specification and a geometric specification, with the two sides related by the Kleinian equivalence at the corresponding physical level.

VII.2 The 2-Category Sev of Dualities

Definition VII.1 (The 2-category Sev). The 2-category Sev of Seven McGucken Dualities is defined as follows:

– Objects: the seven specialization levels L₁, L₂, , L₇ corresponding to the seven dualities of the table above.

– 1-morphisms: for each pair (L_i, L_j), the 1-morphisms L_i → L_j are the “level-to-level reductions” of the Kleinian foundational structure: a 1-morphism φ: L_i → L_j is a structure-preserving map that restricts the algebraic content of L_i to a sub-specification compatible with the algebraic content of L_j and the geometric content of L_i to a sub-specification compatible with the geometric content of L_j, in the sense made precise by Theorem III.1 of the present paper applied at each level.

– 2-morphisms: for two 1-morphisms φ, φ’: L_i → L_j, a 2-morphism α: φ ⇒ φ’ is a natural transformation between the two reductions, i.e., a family of relations between the reduced sub-specifications that intertwines the two 1-morphisms.

The 2-category Sev encodes the structural relationship between the seven specialization levels of the McGucken framework. Importantly, the 1-morphisms are not arbitrary functor-like maps — they are required to preserve the Kleinian-pair structure (algebraic + geometric content) at each level, with the preservation following the categorical formalization of Theorem III.1.

VII.3 The Ambient 2-Category 𝐅𝐨𝐮𝐧𝐝_{Kln}

To state the closure theorem categorically, we need an ambient 2-category in which Sev sits and to which terminality can be referred.

Definition VII.2 (The 2-category 𝐅𝐨𝐮𝐧𝐝_{Kln}). The 2-category 𝐅𝐨𝐮𝐧𝐝_{Kln} of Kleinian foundational physics frameworks has: – Objects: 2-categories ℱ each of whose objects are “specialization levels” of some single foundational principle satisfying the Kleinian-pair criterion of Definition II.2. – 1-morphisms: a 1-morphism Φ: ℱ → ℱ’ is a 2-functor preserving the Kleinian-pair structure at each level. – 2-morphisms: 2-natural transformations between 2-functors, in the sense of [Lurie2009, §1.2].

The Kleinian-pair criterion in the object-definition is the structural requirement that each level of ℱ admits an algebraic + geometric specification with an adjunction-equivalence as in Theorem III.1.

VII.4 Theorem VII.1: Terminality of Sev in 𝐅𝐨𝐮𝐧𝐝_{Kln}

Theorem VII.1 (2-Categorical Structure of the Seven Dualities; Closure Restated). The 2-category Sev of Definition VII.1 is the terminal object in the 2-category 𝐅𝐨𝐮𝐧𝐝_{Kln} of Definition VII.2, in the sense that for every ℱ ∈ 𝐅𝐨𝐮𝐧𝐝_{Kln} there is an essentially unique 1-morphism ℱ → Sev, with the uniqueness holding up to 2-isomorphism.

Proof Sketch. The proof reduces to two structural claims: (a) every Kleinian foundational framework admits a canonical 1-morphism into Sev, and (b) any two such 1-morphisms are related by a 2-isomorphism.

(a) Canonical 1-morphism. For ℱ ∈ 𝐅𝐨𝐮𝐧𝐝_{Kln} a Kleinian foundational framework, the closure theorem of [MG-KNC, Theorem I.2] establishes that ℱ‘s specialization levels embed into the seven McGucken dualities — each level of ℱ is a Kleinian specialization that, by the closure theorem, must coincide with one of the seven levels L₁, , L₇. (If ℱ has fewer than seven levels, the embedding is into a sub-2-category; if it has more, the additional levels must be reducible to the seven via the Kleinian-pair criterion and the [MG-KNC] uniqueness theorem.) The canonical 1-morphism ℱ → Sev is the assignment of each level of ℱ to the corresponding L_i.

(b) 2-isomorphism uniqueness. Two such canonical 1-morphisms differ by 2-natural transformations corresponding to alternative choices of how to identify ℱ‘s levels with Sev‘s. By the Kleinian uniqueness — the [MG-KNC, Theorem IX.1] statement that dx₄/dt = ic is the unique foundational data — the alternative identifications are 2-isomorphic.

The full categorical proof requires the apparatus of 2-categorical limits and is technically involved; the present sketch identifies the key components, and a fully rigorous version is left to a specialized categorical formalization paper. The structural content — that Sev is terminal among Kleinian foundational frameworks — is what Theorem VII.1 asserts. Q.E.D. (Sketch)

VII.5 What Theorem VII.1 Establishes

Theorem VII.1 establishes that the closure theorem of [MG-KNC, Theorem I.2] is, structurally, a terminality statement in the 2-categorical sense. The Seven McGucken Dualities are not merely a list of specializations; they are the complete list — terminal among Kleinian foundational frameworks.

This has three consequences. First, the closure theorem acquires a rigorous categorical interpretation, locating it within the universal-property tradition of category theory. Second, the [MG-KNC] uniqueness theorem (uniqueness of dx₄/dt = ic) and the closure theorem (closure of the seven dualities) are seen as two facets of the same structural fact: the McGucken Principle is the unique foundational data realizing a terminal 2-category in 𝐅𝐨𝐮𝐧𝐝_{Kln}. Third, the 2-categorical structure of Sev supplies a methodological tool: questions about the relationships between dualities (e.g., “is the wave/particle duality reducible to the locality/nonlocality duality?”) become questions about 1-morphisms and 2-morphisms in Sev, with explicit answers obtainable from the categorical structure rather than from informal physical argument.

VII.6 Empirical Justification for Terminality: The Seven-Duality Audit of Predecessor Lagrangians

Theorem VII.1 asserts that Sev is terminal in 𝐅𝐨𝐮𝐧𝐝_{Kln} — every Kleinian foundational framework admits an essentially unique 1-morphism into Sev. The terminality is a categorical statement, but its empirical force depends on the answer to a separate question: do other foundational physics programmes generate frameworks that are objects of 𝐅𝐨𝐮𝐧𝐝_{Kln} in a way that exhibits the seven dualities? If predecessor frameworks generate only fragments of the seven dualities, the terminality statement acquires sharp empirical content: the McGucken framework is terminal not in a vacuously full ambient category but in a category populated by frameworks that fail, structurally, to reach the seven-duality structure.

The companion paper [MG-LagrangianOptimality, §6.7] develops the seven-duality audit of the eight canonical Lagrangians of the 282-year tradition (Newton 1788, Maxwell 1865, Einstein-Hilbert 1915, Dirac 1928, Yang-Mills 1954, Standard Model 1973, string theory 1968–present, McGucken 2026). The audit’s quantitative result is summarized in the following table.

Lagrangian	Year	Dualities Generated (of 7)	Structural Reason
ℒ_{N} (Newton)	1788	0	Non-relativistic; kinematic dualities (6,7) collapse
ℒ_{EM} (Maxwell)	1865	0	Pure Channel B; no Channel A reading at Lagrangian level
ℒ_{EH} (Einstein-Hilbert)	1915	0	Pure Channel B; no matter content, no quantum content
ℒ_{Dirac}	1928	1 partial	Wave/particle (Level 4) for matter sector only
ℒ_{YM} (Yang-Mills)	1954	0	Pure Channel A; no propagation content at Lagrangian level
ℒ_{SM} (Standard Model)	1973	2 partial	Levels 1, 4 partial via canonical quantization
ℒ_{string}	1968–pres.	2 partial	Levels 1, 4 partial via worldsheet quantization
ℒ_{McG} (McGucken)	2026	7 of 7	All seven generated as parallel sibling consequences of dx₄/dt = ic via dual-channel structure

Table VII.2. Seven-duality audit of canonical Lagrangians (after [MG-LagrangianOptimality, Table 2 / §6.7.1]).

The structural pattern is informative. No predecessor Lagrangian in the 282-year tradition generates more than two of the seven dualities. The three classical Lagrangians (Newton, Maxwell, Einstein-Hilbert) generate zero of seven because they lack the dual-channel structure required — Newton operates non-relativistically (collapsing Levels 6, 7), Maxwell is pure Channel B, Einstein-Hilbert is pure Channel B with no matter content. The relativistic-quantum Lagrangians (Dirac, Yang-Mills, Standard Model, string theory) generate at most two dualities partially because they unify one channel internally (e.g., Standard Model: Channel A gauge structure across U(1) × SU(2) × SU(3); string theory: Channel B worldsheet propagation across vibrational modes) but do not generate the dual reading from a single foundational principle. Only ℒ_{McG} generates all seven dualities as parallel sibling consequences of a single principle, because dx₄/dt = ic is structurally dual-channel by construction (Channel A algebraic-symmetry + Channel B geometric-propagation in one statement).

Categorical interpretation. The seven-duality audit translates, in the categorical formalism of the present paper, into the assertion that the canonical 1-morphisms ℱ → Sev from predecessor frameworks ℱ are not essentially surjective at the duality level — they hit only one or two of the seven L_i levels, leaving the other levels unrealized in ℱ. The McGucken framework’s canonical 1-morphism, by contrast, is essentially surjective: all seven L_i levels are realized by McGucken-Kleinian specializations of dx₄/dt = ic. The terminality statement of Theorem VII.1 therefore does not merely assert categorical universality (which holds vacuously if all 1-morphisms are trivial); it asserts categorical universality realized by substantive mappings that hit the full structural content of Sev.

Empirical content of terminality. The empirical force of Theorem VII.1 is that, among the canonical Lagrangians of the 282-year tradition, only the McGucken framework realizes the terminal object’s full content. Predecessor frameworks each occupy a proper sub-2-category of 𝐅𝐨𝐮𝐧𝐝_{Kln} — they are objects, but their 1-morphisms into Sev collapse onto small subsets of the seven duality levels. The terminality of Sev, combined with the seven-duality audit, therefore makes precise the structural assertion that the McGucken framework is the only known canonical Lagrangian framework realizing the full terminal-object content of Kleinian foundational physics.

The seven-duality audit’s structural significance for Theorem VII.1 is therefore that it converts the terminality statement from a categorical truism into a sharp empirical claim about the contemporary state of foundational physics. The seven-duality audit is the empirical content; Theorem VII.1 is the categorical formalization; the two together establish that, modulo the empirical correctness of dx₄/dt = ic (Grade 3 of §I.5a), the McGucken framework occupies the unique structurally-terminal position in the 2-categorical hierarchy of foundational physics frameworks.

VIII. The Structural Map: Grammar, Substrate-Independent Semantics, Geometric Semantics

This section synthesizes the relationship between the three programmes — category theory, constructor theory, and the McGucken–Kleinian programme — into a single structural map.

VIII.1 Three Roles

The three programmes occupy three distinct structural roles, none of which is reducible to the others.

Category theory plays the role of grammar. It supplies the structural vocabulary in which foundational frameworks for physics can be expressed: objects, morphisms, functors, adjunctions, 2-categories, terminal objects, universal properties, equivalences. Category theory does not pick a foundational framework; it tells us what form a foundational framework should have if it is to be parsimonious and structurally clean. Theorem III.1’s adjunction Alg ⊣ Geom is a piece of categorical grammar; the McGucken Principle dx₄/dt = ic is the specific foundational data filling the grammatical structure.

Constructor theory plays the role of substrate-independent semantics. It supplies one specific semantic content — a counterfactual specification (which transformations are possible, which impossible) — that is methodologically substrate-independent in the precise sense that constructor-theoretic statements hold uniformly across substrates exhibiting the corresponding structural properties. Constructor theory does not specify a geometric realization; it specifies abstract counterfactual structure that admits realizations in many substrates (quantum, classical, biological, computational). Theorem V.1 shows that the McGucken framework is one such realization.

The McGucken–Kleinian programme plays the role of geometric semantics. It supplies a different semantic content — a specific geometric mechanism (dx₄/dt = ic, Channel B propagation, McGucken Sphere, Compton coupling) — that realizes the constructor-theoretic possibility/impossibility structure in a four-dimensional Lorentzian kinematic substrate. The McGucken framework picks both a foundational vocabulary (a fourth dimension expanding at ic) and a unique principle (dx₄/dt = ic itself); the categorical grammar of §III gives the structural form of this picking, and the constructor-theoretic semantics of §V gives the substrate-independent reformulation.

VIII.2 What Each Programme Adds

Each programme adds something that the others cannot provide on their own.

What category theory adds: structural classification, universal-property reasoning, terminal-object characterization, functorial relationships between levels, 2-categorical specialization patterns. Without category theory, the Seven McGucken Dualities are a list; with category theory, they are the terminal object of 𝐅𝐨𝐮𝐧𝐝_{Kln} (Theorem VII.1). Without category theory, the Kleinian split is “two faces of one object”; with category theory, it is an adjoint pair Alg ⊣ Geom that restricts to an equivalence on the McGucken-Kleinian sub-data (Theorem III.1).

What constructor theory adds: substrate-independent reformulation, counterfactual structure, methodological commitment to “which transformations are possible” as the foundational content. Without constructor theory, the McGucken Second Law is “Theorem VII.1 of [MG-Thermo] with dS/dt = (3/2)k_B/t“; with constructor theory, it is “the impossibility of the reverse-entropy task, exact and scale-independent.” The reformulation is methodologically powerful: it isolates the structural content of the Second Law from the specific mechanism that realizes it, allowing comparison with other realizations and identification of the universal structural features.

What the McGucken–Kleinian programme adds: geometric mechanism, quantitative predictions, falsifiable empirical content, and a single primitive from which the structural content of physics is generated. Without the McGucken framework, constructor theory’s possibility/impossibility statements are abstract; with the McGucken framework, they have a geometric realization with explicit propagation kernels, McGucken Spheres, and quantitative formulas. The Compton-coupling diffusion D_x^{McG} = ε² c² Ω/(2γ²) of [MG-Thermo, Proposition VII.3] is a specifically McGucken-empirical prediction that neither category theory nor constructor theory alone can supply.

VIII.3 The Combined Map

The combined relationship is:

Category Theory (grammar) ⊃ McGucken–Kleinian (geometric semantics) ≅ Constructor Theory (substrate-independent semantics, restricted to x₄-substrates).

The first inclusion is that the McGucken framework is a specific foundational data within the categorical grammar — one specific filling of the adjunction-equivalence pattern. The second equivalence is the content of Theorem V.1: the McGucken framework realizes the Deutsch–Marletto possibility/impossibility structure, and conversely the Deutsch–Marletto programme captures the substrate-independent reformulation of the McGucken-geometric statements (under the matter-coupling postulate that physical attributes are realized by states of fields participating in x₄-kinematics).

The McGucken framework is therefore not a competitor to constructor theory; it is the geometric realization that grounds constructor theory in a specific four-dimensional kinematic substrate. The two programmes converge on substantive content (no-cloning, strict Second Law, hybrid-impossibility) by methodologically different routes (geometric mechanism in McGucken; abstract counterfactual structure in Deutsch–Marletto), with the categorical grammar of §III providing the structural translation.

VIII.4 Future Directions

The structural map suggests several research directions.

(F1) Categorical formalization of the Marletto–Deutsch programme. The Deutsch–Marletto programme has not been systematically formalized in categorical terms. Theorem V.1 makes the relationship between the McGucken framework and the Deutsch–Marletto programme rigorous, but a parallel categorical formalization of the Deutsch–Marletto programme itself (in the spirit of [Schreiber2013]) would supply the categorical grammar in which the constructor-theoretic structure can be most clearly articulated. The relationship “constructor theory is the substrate-independent semantics of the Kleinian foundational data” would then be made fully rigorous.

(F2) Compton-coupling experiments with constructor-theoretic interpretation. The Compton-coupling diffusion of [MG-Thermo, Proposition VII.3] is a falsifiable laboratory prediction. Cold-atom experiments at JILA, NIST, MIT, trapped-ion experiments, and ultracold-neutron storage experiments can test the prediction. A constructor-theoretic reformulation of the experimental signature (in terms of which “diffusion-detection tasks” are possible) would translate the McGucken empirical content into Deutsch–Marletto vocabulary.

(F3) The Marletto–Deutsch constructor theory of life and the McGucken framework. Marletto’s constructor theory of life [Marletto2014Life] characterizes life in terms of constructor-theoretic capabilities (self-replication, error-correction, knowledge-bearing constructors). The McGucken framework’s matter-coupling postulate of [MG-Compton] supplies the specific physical mechanism by which these constructor-theoretic capabilities are realized in x₄-kinematic substrates. A McGucken-geometric derivation of the constructor theory of life would specialize the framework to biological substrates.

(F4) Cohesive higher topos theory as the natural ambient category. Schreiber’s cohesive higher topos programme [Schreiber2013] supplies the natural ambient categorical apparatus in which the McGucken framework can be most fully formalized. The categories 𝐀𝐥𝐠_{Kln} and 𝐆𝐞𝐨𝐦_{Kln} of §II.2 are sub-categories of an appropriate cohesive higher topos, and the adjunction Alg ⊣ Geom of Theorem III.1 is a higher-categorical adjunction. The full formalization is a substantial technical project but would situate the McGucken framework within modern mathematical foundations.

These directions are sketched here as future work; their detailed development requires technical apparatus that exceeds the scope of the present paper.

IX. Historical Note: The Princeton Origin and the Three-Programme Convergence

“More intellectual curiosity, versatility and yen for physics than Elliot McGucken’s I have never seen in any senior or graduate student. Originality, powerful motivation, and a can-do spirit make me think that McGucken is a top bet.” — John Archibald Wheeler, Princeton University [Wheeler-Letter]

The McGucken–Kleinian programme traces, in its physical content, to the author’s undergraduate research at Princeton with three physicists in 1988–1993: John Archibald Wheeler (Joseph Henry Professor of Physics), Phillip James Edwin Peebles (Albert Einstein Professor of Science, 2019 Nobel Prize), and Joseph Hooton Taylor Jr. (1993 Nobel Prize). The Princeton origin and the three-mentor convergence are documented in [MG-Thermo, §X], [MG-KNC, Coda], and [MG-BookEntanglement]. The present section locates this Princeton genealogy in the larger context of the three-programme convergence the present paper develops.

IX.1 The Three Princeton Contributions Specialized to the Present Paper

The Princeton convergence — Wheeler, Peebles, Taylor — supplied the three physical insights that, after thirty-five years of working development, became the categorical and constructor-theoretic foundation developed in the present paper.

Wheeler’s photon-stationary-in-x₄ identification is the geometric content that Theorem III.1’s equivalence at the McGucken-Kleinian data realizes: the Lorentz-Huygens propagation kernel, the unique G-equivariant propagation kernel on the homogeneous space 𝒫/L, is the wavefront kernel of dx₄/dt = ic with the photon as its perfect tracer. Wheeler’s identification supplies the geometric realizer of the categorical structure; without it, Theorem III.1 would be an abstract adjunction with no specific realization in physics.

Peebles’ spherical-wavefront-at-c statement is the Channel-B propagation content that Theorem V.1’s possibility relation Poss_{McG} uses as its primitive: the McGucken Sphere, expanding at rate c from every event, supplies the propagation chains that determine which constructor-theoretic tasks are possible. Peebles’ statement supplies the constructor-theoretic realizer of the propagation criterion; without it, Theorem V.1 would lack the geometric mechanism that grounds Deutsch–Marletto possibility/impossibility.

Taylor’s find-the-source directive is the methodological content that Theorem VII.1’s terminality statement realizes: the closure of the seven dualities is the structural completeness of the Kleinian foundational data, and Taylor’s directive — that physics advances by finding the deeper geometric source of phenomena rather than by stacking phenomenological layers — is the methodological commitment that produces the closure. Taylor’s directive supplies the structural-completeness commitment that powers the [MG-KNC] closure theorem and Theorem VII.1’s categorical reformulation; without it, the seven dualities would be a list rather than a terminal 2-category.

The three contributions converge in the present paper as the geometric realizer (Wheeler), the propagation primitive (Peebles), and the structural-completeness commitment (Taylor). Each is necessary to the present paper’s results; none alone suffices.

IX.2 The Convergence with Constructor Theory

The convergence between the McGucken–Kleinian programme and the Marletto–Deutsch programme is structurally meaningful and historically independent. Marletto and Deutsch developed constructor theory at Oxford from 2012 onward, drawing on Deutsch’s prior work on the universal quantum computer and the Everett interpretation. McGucken developed the principle dx₄/dt = ic from 1988 onward at Princeton, with public scholarly publication in the FQXi essay contests of 2008–2013 [MG-FQXi-2008 through MG-FQXi-2013], the five-book series of 2016–2017 [MG-Book2016; MG-BookTime; MG-BookEntanglement], and the active derivation programme at elliotmcguckenphysics.com (2024–2026). The two programmes were unaware of each other for most of their development — this is a convergence, not a collaboration.

The structural relationship the present paper establishes — that the Deutsch–Marletto possibility relation is a sub-relation of the McGucken-Kleinian possibility relation under the matter-coupling postulate (Theorem V.1) — is therefore not a priority claim. It is a recognition that two independent foundational programmes converge on substantively equivalent content (no-cloning, strict Second Law, hybrid-impossibility) by methodologically different routes (geometric in McGucken; counterfactual in Deutsch–Marletto), with the McGucken framework supplying the geometric mechanism that constructor theory deliberately leaves unspecified.

The convergence is methodologically informative. It suggests that something about the foundational content of physics is robust enough to be reachable from at least two methodologically distinct starting points. The geometric route (McGucken) and the counterfactual route (Deutsch–Marletto) terminate in the same structural content, and category theory (the grammatical apparatus) makes the equivalence rigorous via the structural map of §VIII.

IX.3 The Heroic-Age Methodological Lineage

The methodological framing of the McGucken Principle as a Hero’s Journey with Galileo, Newton, Faraday, Maxwell, Planck, Einstein, Schrödinger, and Bohr — articulated in the 2009 FQXi essay [MG-FQXi-2009] and the 2008 FQXi essay dedicated In Memory of John Archibald Wheeler [MG-FQXi-2008] — locates the framework in the heroic-age tradition of foundational physics: the seeking of simple geometric principles for foundational phenomena, in the line of Faraday’s lines of force, Maxwell’s geometric reasoning about the electromagnetic field, Planck’s quantum of action, Einstein’s constant velocity of light, Schrödinger’s wave equation, and Bohr’s complementarity.

The categorical formalization developed in the present paper is, methodologically, the heroic-age tradition expressed in modern mathematical language. Klein’s Erlangen Program (1872) — “a geometry is the study of properties invariant under a group action” — is itself a heroic-age statement, foundational in the same way as Maxwell’s equations or Einstein’s postulates. Theorem III.1’s adjunction Alg ⊣ Geom is the modern categorical version of Klein’s structural insight, with the McGucken-Kleinian sub-data as the specific physical realization. The constructor-theoretic vocabulary of Deutsch and Marletto adds a substrate-independent reformulation that is, in spirit, in the same methodological tradition: a structural specification of physical content that is independent of mechanism.

The convergence of the three programmes — geometric (McGucken), substrate-independent (Deutsch–Marletto), categorical (Klein–Cartan–Mac Lane–Lurie–Schreiber) — exemplifies the heroic-age commitment to seeking the simple geometric principle and the substrate-independent structural content together. Each programme is inadequate on its own: category theory without specific physical content is empty grammar; constructor theory without geometric realization is abstract counterfactual specification; the McGucken framework without categorical formalization is a geometric mechanism without rigorous structural articulation. Combined — as the present paper combines them — the three programmes constitute the complete heroic-age foundational programme: a single geometric principle (dx₄/dt = ic), expressed in the categorical grammar (adjunction-equivalence), with substrate-independent semantic content (constructor-theoretic possibility/impossibility), terminating in falsifiable empirical predictions (D_x^{McG} = ε² c² Ω/(2γ²)).

This is what foundational physics in 2026 looks like at its best. It is what Wheeler had in mind when he wrote that “behind it all is surely an idea so simple, so beautiful, that when we grasp it — in a decade, a century, or a millennium — we will all say to each other, how could it have been otherwise?” The decade, century, or millennium has come.

X. Conclusion

This paper has established three structural results that situate the McGucken–Kleinian programme within a broader landscape of foundational programmes.

Theorem III.1 (categorical formalization) shows that the Kleinian split is the adjoint pair Alg ⊣ Geom between the categories of Kleinian algebraic data and Kleinian geometric data, with the adjunction restricting to an equivalence at the McGucken-Kleinian sub-data. Klein’s Erlangen Program (1872) becomes, in this formalization, the rigorous categorical statement that geometric and algebraic specifications of homogeneous spaces are equivalent up to canonical isomorphism, with the McGucken Principle as the unique foundational data realizing the equivalence at four-dimensional Lorentzian spacetime kinematics.

Theorem V.1 (constructor-theoretic foundation) shows that the Deutsch–Marletto possibility/impossibility structure is a theorem of dx₄/dt = ic via Channel-B propagation: the McGucken possibility relation Poss_{McG} contains the Deutsch–Marletto possibility relation as a sub-relation under the matter-coupling postulate, and the constructor-theoretic Second Law (Marletto 2016), the constructor-theoretic information principles (Deutsch & Marletto 2015), and the Feng–Marletto–Vedral hybrid impossibility theorem (2024) each follow as theorems of Poss_{McG}. The McGucken framework supplies the geometric mechanism that constructor theory deliberately leaves unspecified.

Theorem VII.1 (2-categorical structure) shows that the Seven McGucken Dualities form a 2-category Sev that is terminal in the 2-category 𝐅𝐨𝐮𝐧𝐝_{Kln} of foundational physics frameworks satisfying the Kleinian-pair criterion. The closure theorem of [MG-KNC, Theorem I.2] becomes, in this formalization, the categorical universal-property statement that Sev is the terminal object — the unique-up-to-2-isomorphism Kleinian foundational specification. The empirical content of Theorem VII.1 is established in §VII.6 by the seven-duality audit of [MG-LagrangianOptimality, §6.7]: no predecessor Lagrangian in the 282-year tradition generates more than two of the seven dualities, while ℒ_{McG} generates all seven as parallel sibling consequences of dx₄/dt = ic. Theorem VII.1 combined with the seven-duality audit asserts that the McGucken framework is the only canonical Lagrangian framework currently known to realize the terminal-object’s full structural content. Theorem III.1’s terminality at the duality-classification level pairs with Theorem 4.3 of [MG-LagrangianOptimality] (initiality at the Lagrangian level) to give the McGucken framework a double universal property: it is simultaneously the universal source (initial object in 𝒞) and the universal target (terminal object in 𝐅𝐨𝐮𝐧𝐝_{Kln}), with compatibility established in Lemma III.5.

The three theorems jointly establish the structural map of §VIII: category theory provides the grammar, constructor theory provides one substrate-independent semantics, and the McGucken–Kleinian programme provides the geometric semantics that realizes the constructor-theoretic structure in a four-dimensional Lorentzian kinematic substrate. The three programmes converge on substantive content without being reducible to each other — each contributes a methodologically distinct role.

The convergence is not a coincidence. It is the structural fact that foundational physics admits a geometric mechanism, a substrate-independent specification, and a categorical formalization that all terminate in the same content. Wheeler’s intuition that the deepest principle would prove to be “so simple, so beautiful” is realized: dx₄/dt = ic is the simple geometric principle, the constructor-theoretic possibility/impossibility structure is its substrate-independent reformulation, and the categorical adjunction-equivalence is its structural grammar.

Future work develops the four directions of §VIII.4: a parallel categorical formalization of the Deutsch–Marletto programme; experimental tests of the Compton-coupling diffusion with constructor-theoretic interpretation; a McGucken-geometric derivation of the constructor theory of life; and the cohesive-higher-topos formalization of the McGucken framework. Each direction is a substantial technical project that builds on the structural foundation established in this paper.

The McGucken–Kleinian programme is not a competitor to constructor theory or to category theory. It is the geometric foundation that grounds constructor theory and the specific physical realization that fills the categorical grammar. The three programmes together constitute, at last, the complete heroic-age foundational programme that Wheeler envisioned: a single geometric principle, expressed in categorical grammar, with substrate-independent structural content, terminating in falsifiable empirical predictions.

The dx₄/dt = ic principle is unique, complete, and one and only — uniquely the foundational data realizing the Kleinian equivalence (Theorem III.1, [MG-KNC, Theorem IX.1]); completely generative of the seven dualities (Theorem VII.1, [MG-KNC, §§II–VIII]); and the one and only physical specification grounding the constructor-theoretic possibility/impossibility structure (Theorem V.1). Three structural facts; one geometric primitive; three programmes converging on a single foundation.

It was a long road from Klein 1872, through Wheeler-Peebles-Taylor 1988–1993, through the FQXi essays of 2008–2013, through Deutsch–Marletto 2012–2024, through the McGucken corpus of 2024–2026, to the present synthesis. The road runs through Princeton, Oxford, Erlangen, and the Internet — and it terminates, structurally, in a single equation: dx₄/dt = ic.

References

Internal — McGucken Corpus

Foundational and master-synthesis papers:

[MG-KNC] E. McGucken, “The McGucken Principle as the Unique Physical Kleinian Foundation: How dx₄/dt = ic Uniquely Generates the Seven McGucken Dualities of Physics,” elliotmcguckenphysics.com (April 24, 2026). https://elliotmcguckenphysics.com/2026/04/24/the-mcgucken-principle-as-the-unique-physical-kleinian-foundation-how-dx%e2%82%84-dt-ic-uniquely-generates-the-seven-mcgucken-dualities-of-physics-1-hamiltonian-lagrangian-2-noether/ Master synthesis paper. Theorem I.1 (Kleinian structure), Theorem I.2 (closure of Seven Dualities), Theorem IX.1 (uniqueness of dx₄/dt = ic) imported wholesale by Theorems III.1, VII.1 of present paper.

[MG-Master] E. McGucken, “How the McGucken Principle and Equation — dx₄/dt = ic — Provides a Physical Mechanism for Special Relativity, the Principle of Least Action, Huygens’ Principle, the Schrödinger Equation, the Second Law of Thermodynamics, Quantum Nonlocality and Entanglement, Vacuum Energy, Dark Energy, and Dark Matter,” elliotmcguckenphysics.com (April 10, 2026). https://elliotmcguckenphysics.com/2026/04/10/282/

[MG-Thermo] E. McGucken, “Deriving Thermodynamics as a Theorem of the McGucken Principle dx₄/dt = ic: Resolving Einstein’s Unease — The Probability Measure as Haar Measure, Ergodicity as Huygens-Wavefront Identity, and the Second Law as Strict dS/dt > 0,” elliotmcguckenphysics.com (April 2026). Companion paper. Proposition V.1 (Haar measure), Proposition VI.1 (wavefront ergodicity), Theorem VII.1 (strict Second Law), Proposition VII.2 (photon Shannon entropy), Proposition VII.3 (Compton-coupling diffusion). Imported wholesale by §VI.3 of present paper.

[MG-Lagrangian] E. McGucken, “The Unique McGucken Lagrangian: All Four Sectors Forced by the McGucken Principle,” elliotmcguckenphysics.com (April 23, 2026). https://elliotmcguckenphysics.com/2026/04/23/the-unique-mcgucken-lagrangian-all-four-sectors-free-particle-kinetic-dirac-matter-yang-mills-gauge-einstein-hilbert-gravitational-forced-by-the-mcgucken-principle-dx%e2%82%84-2/ Establishes the unique Lagrangian forced by dx₄/dt = ic. §VIII.16.4 contains the no-graviton prediction used in §VI.4 of present paper.

[MG-LagrangianOptimality] E. McGucken, “The McGucken Lagrangian as Unique, Simplest, and Most Complete: A Multi-Field Mathematical Proof (McGucken vs. Newton, Maxwell, Einstein-Hilbert, Dirac, Yang-Mills, Standard Model, and String Theory),” elliotmcguckenphysics.com (April 25, 2026). https://elliotmcguckenphysics.com/2026/04/25/the-mcgucken-lagrangian-as-unique-simplest-and-most-complete-a-multi-field-mathematical-proof/ Provides: (i) the graded-forcing vocabulary (Grade 1/2/3) imported in §I.5a of present paper; (ii) Theorem 4.3 (Lagrangian initial-object), structurally complementary to Theorem VII.1 of present paper, with compatibility established in Lemma III.5; (iii) the seven-duality audit of §6.7 imported as Table VII.2 of present paper; (iv) Theorem 2.5 joint uniqueness via Coleman-Mandula + Weinberg + Stone-von Neumann, supporting the categorical-formalization claim of Theorem III.1; (v) §3.1 algorithmic minimality via Kolmogorov complexity with Solomonoff-induction-tradition citations.

[MG-ConservationSecondLaw] E. McGucken, “The McGucken Principle as the Common Foundation of the Conservation Laws and the Second Law of Thermodynamics: A Remarkable and Counter-Intuitive Unification,” elliotmcguckenphysics.com (April 23, 2026). https://elliotmcguckenphysics.com/2026/04/23/the-mcgucken-principle-as-the-common-foundation-of-the-conservation-laws-and-the-second-law-of-thermodynamics-a-remarkable-and-counter-intuitive-unification/

[MG-Noether] E. McGucken, “The McGucken Principle of a Fourth Expanding Dimension Exalts and Unifies The Conservation Laws,” elliotmcguckenphysics.com (April 21, 2026). https://elliotmcguckenphysics.com/2026/04/21/the-mcgucken-principle-of-a-fourth-expanding-dimension-exalts-and-unifies-the-conservation-laws-how-the-symmetries-of-noethers-theorem-the-conservation-laws-of-the-poincare-u1-su2-su3-di/ Propositions IV.3–IV.4 (spatial-translation momentum conservation) cited in §VI.4 of present paper.

[MG-HLA] E. McGucken, “The McGucken Principle (dx₄/dt = ic) as the Physical Mechanism Underlying Huygens’ Principle, the Principle of Least Action, Noether’s Theorem, and the Schrödinger Equation,” elliotmcguckenphysics.com (April 11, 2026). https://elliotmcguckenphysics.com/2026/04/11/the-mcgucken-principle-dx%e2%82%84-dt-ic-as-the-physical-mechanism-underlying-huygens-principle-the-principle-of-least-action-noethers-theorem-and-the-schrodinger-equation/ Proposition III.1 (Huygens’ Principle as theorem of x₄’s expansion) cited in Definition V.1.

[MG-Proof] E. McGucken, “The McGucken Principle and Proof: The Fourth Dimension Is Expanding at the Velocity of Light dx₄/dt = ic as a Foundational Law of Physics,” elliotmcguckenphysics.com (April 15, 2026). https://elliotmcguckenphysics.com/2026/04/15/the-mcgucken-principle-and-proof-the-fourth-dimension-is-expanding-at-the-velocity-of-light-dx4-dtic-as-a-foundational-law-of-physics/

[MG-Compton] E. McGucken, “A Compton Coupling Between Matter and the Expanding Fourth Dimension,” elliotmcguckenphysics.com (April 18, 2026). https://elliotmcguckenphysics.com/2026/04/18/a-compton-coupling-between-matter-and-the-expanding-fourth-dimension-a-proposed-matter-interaction-for-the-mcgucken-principle-with-consequences-for-diffusion-and-entropy/ Matter-coupling postulate cited in Theorem V.1 (i).

[MG-Born] E. McGucken, “A Geometric Derivation of the Born Rule P = |ψ|² from the McGucken Principle,” elliotmcguckenphysics.com (April 15, 2026). https://elliotmcguckenphysics.com/2026/04/15/a-geometric-derivation-of-the-born-rule-p-%cf%882-from-the-mcgucken-principle-of-the-fourth-expanding-dimension-dx4-dt-ic/ Born rule on McGucken Sphere cited in §VI.2 (no-cloning derivation).

[MG-Commut] E. McGucken, “A Novel Geometric Derivation of the Canonical Commutation Relation [q, p] = iℏ from the McGucken Principle,” elliotmcguckenphysics.com (April 21, 2026). https://elliotmcguckenphysics.com/2026/04/21/a-novel-geometric-derivation-of-the-canonical-commutation-relation-q-p-i%e2%84%8f-based-on-the-mcgucken-principle-a-comparative-analysis-of-derivations-of-q-p-i%e2%84%8f-in-gleason-hestene/

[MG-Dirac] E. McGucken, “The Geometric Origin of the Dirac Equation: Spin-½, the SU(2) Double Cover, and the Matter-Antimatter Structure from the McGucken Principle dx₄/dt = ic,” elliotmcguckenphysics.com (April 19, 2026). https://elliotmcguckenphysics.com/2026/04/19/the-geometric-origin-of-the-dirac-equation-spin-%c2%bd-the-su2-double-cover-and-the-matter-antimatter-structure-from-the-mcgucken-principle-of-a-fourth-expanding-dimension-dx%e2%82%84-dt-ic/

[MG-QED] E. McGucken, “Quantum Electrodynamics from the McGucken Principle of a Fourth Expanding Dimension,” elliotmcguckenphysics.com (April 19, 2026). https://elliotmcguckenphysics.com/2026/04/19/quantum-electrodynamics-from-the-mcgucken-principle-of-a-fourth-expanding-dimension-dx%e2%82%84-dt-ic-local-x%e2%82%84-phase-invariance-the-u1-gauge-structure-maxwells-equations-and-the-qed/

[MG-SM] E. McGucken, “A Formal Derivation of the Standard Model Lagrangians and General Relativity from McGucken’s Principle,” elliotmcguckenphysics.com (April 14, 2026). https://elliotmcguckenphysics.com/2026/04/14/a-formal-derivation-of-the-standard-model-lagrangians-and-general-relativity-from-mcguckens-principle-of-the-fourth-expanding-dimension-dx%e2%82%84-dt-ic-gauge-symmetry-maxwell/ Theorems 5, 10–11 (gauge invariance from x₄-phase indeterminacy) cited in §IV.2.

[MG-GR] E. McGucken, “The McGucken Principle (dx₄/dt = ic) as the Physical Foundation of General Relativity,” elliotmcguckenphysics.com (April 11, 2026). https://elliotmcguckenphysics.com/2026/04/11/the-mcgucken-principle-dx%e2%82%84-dt-ic-as-the-physical-foundation-of-general-relativity-spatial-curvature-the-invariant-fourth-dimension-gravitational-redshift-gravitational-time-dilation-a/ §VII.3 (no-graviton prediction) cited in §VI.4.

[MG-Twistor] E. McGucken, “How the McGucken Principle of a Fourth Expanding Dimension Gives Rise to Twistor Space,” elliotmcguckenphysics.com (April 20, 2026). https://elliotmcguckenphysics.com/2026/04/20/how-the-mcgucken-principle-of-a-fourth-expanding-dimension-gives-rise-to-twistor-space-dx%E2%82%84-dt-ic-as-the-physical-mechanism-underlying-penroses-twistor-theory/ Proposition X.6 (singlet correlation from McGucken Sphere SO(3) Haar measure) cited in §VI.2.

[MG-Wick] E. McGucken, “The Wick Rotation as a Theorem of dx₄/dt = ic,” elliotmcguckenphysics.com (April 20, 2026). https://elliotmcguckenphysics.com/2026/04/20/the-wick-rotation-as-a-theorem-of-dx%e2%82%84-dt-ic-how-the-mcgucken-principle-of-the-fourth-expanding-dimension-provides-the-physical-mechanism-underlying-the-wick-rotation-and-all-of-its-applicat/

[MG-Bekenstein] E. McGucken, “Bekenstein’s Five 1973 Results as Theorems of the McGucken Principle of a Fourth Expanding Dimension dx₄/dt = ic,” elliotmcguckenphysics.com (April 2026). https://elliotmcguckenphysics.com/

[MG-Hawking] E. McGucken, “How the McGucken Principle Derives the Results of Hawking’s Particle Creation by Black Holes (1975),” elliotmcguckenphysics.com (April 20, 2026). https://elliotmcguckenphysics.com/2026/04/20/how-the-mcgucken-principle-of-a-fourth-expanding-dimension-derives-the-results-of-hawkings-particle-creation-by-black-holes-1975-dx%e2%82%84-dt-ic-as-the-physical-mechanism-underlying-hawki/

FQXi essays (2008–2013) and dissertation (1998):

[MG-Dissertation] E. McGucken, Multiple Unit Artificial Retina Chipset to Aid the Visually Impaired and Enhanced Holed-Emitter CMOS Phototransistors, NSF-funded Ph.D. dissertation, University of North Carolina at Chapel Hill (1998). Appendix B contains the first formal written formulation of dx/dt = c.

[MG-FQXi-2008] E. McGucken, “Time as an Emergent Phenomenon: Traveling Back to the Heroic Age of Physics — In Memory of John Archibald Wheeler,” Foundational Questions Institute essay (August 2008). https://forums.fqxi.org/d/238

[MG-FQXi-2009] E. McGucken, “What is Ultimately Possible in Physics? Physics! A Hero’s Journey with Galileo, Newton, Faraday, Maxwell, Planck, Einstein, Schrödinger, Bohr, and the Greats towards Moving Dimensions Theory,” Foundational Questions Institute essay (2009). https://forums.fqxi.org/d/432

[MG-FQXi-2011] E. McGucken, “On the Emergence of QM, Relativity, Entropy, Time, iℏ, and ic from the Foundational, Physical Reality of a Fourth Dimension x₄ Expanding with a Discrete (Digital) Wavelength λ_P at c Relative to Three Continuous (Analog) Spatial Dimensions,” Foundational Questions Institute essay (2010–2011). First explicit identification of the structural parallel between dx₄/dt = ic and [q, p] = iℏ — the structural parallel that becomes Theorem III.1 of the present paper.

[MG-FQXi-2012] E. McGucken, “MDT’s dx₄/dt = ic Triumphs Over the Wrong Physical Assumption that Time is a Dimension,” Foundational Questions Institute essay (2012). https://forums.fqxi.org/d/1429

[MG-FQXi-2013] E. McGucken, “Where is the Wisdom we have lost in Information?,” Foundational Questions Institute essay (2013).

Five-book series (45EPIC Press, 2016–2017):

[MG-Book2016] E. McGucken, Light Time Dimension Theory: The Foundational Physics Unifying Einstein’s Relativity and Quantum Mechanics, 45EPIC Hero’s Odyssey Mythology Press (2016).

[MG-BookTime] E. McGucken, The Physics of Time: Time and Its Arrows in Quantum Mechanics, Relativity, the Second Law of Thermodynamics, Entropy, the Twin Paradox, and Cosmology Explained via LTD Theory’s Expanding Fourth Dimension, 45EPIC Hero’s Odyssey Mythology Press (2017).

[MG-BookEntanglement] E. McGucken, Quantum Entanglement & Einstein’s Spooky Action at a Distance Explained: The Foundational Physics of Quantum Mechanics’ Nonlocality & Probability, 45EPIC Hero’s Odyssey Mythology Press (2017). Contains the Peebles-exchange passage on the spherical-wavefront-at-c.

[MG-PrincetonAfternoons] E. McGucken, “Princeton Afternoons with Noble and Nobel Physicists (the Birth of dx4/dt=ic),” goldennumberratio.medium.com. https://goldennumberratio.medium.com/princeton-afternoons-with-noble-and-nobel-physicists-the-birth-of-dx4-dt-ic-a-paper-on-quantum-0b35b8894c90

[Wheeler-Letter] J. A. Wheeler, Letter of recommendation for Elliot McGucken, Princeton University, Joseph Henry Professor of Physics (c. 1990).

External — Constructor Theory

[Deutsch2013] D. Deutsch, “Constructor Theory,” Synthese 190, 4331–4359 (2013).

[DeutschMarletto2015] D. Deutsch and C. Marletto, “Constructor theory of information,” Proceedings of the Royal Society A 471, 20140540 (2015). https://doi.org/10.1098/rspa.2014.0540

[Marletto2014Life] C. Marletto, “Constructor theory of life,” Journal of the Royal Society Interface 12, 20141226 (2014).

[Marletto2016] C. Marletto, “Constructor theory of thermodynamics,” arXiv:1608.02625 (2016, multiple revisions through 2017). Constructor-theoretic Second Law (§VII), exact and scale-independent. Cited in §VI.3 of present paper.

[Marletto2025Time] C. Marletto, “Constructor theory of time” (May 2025). Time as parameter of cyclic constructor-theoretic tasks.

[FengMarlettoVedral2024] J. Feng, C. Marletto, and V. Vedral, “Hybrid quantum-classical impossibility theorems for conservation laws under classical gravity” (2024). Theorem 1: classical gravity cannot preserve quantum momentum/energy conservation. Cited in §VI.4 of present paper.

[MarlettoVedral2025] C. Marletto and V. Vedral, “Quantum-information methods for laboratory tests of quantum gravity,” Reviews of Modern Physics (March 2025).

[Wootters1982] W. K. Wootters and W. H. Zurek, “A single quantum cannot be cloned,” Nature 299, 802–803 (1982).

[Dieks1982] D. Dieks, “Communication by EPR devices,” Physics Letters A 92, 271–272 (1982).

External — Category Theory and Modern Geometric Programmes

[MacLane1971] S. Mac Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics 5, Springer (1971; 2nd ed. 1998).

[AwodeyCT] S. Awodey, Category Theory, 2nd ed., Oxford University Press (2010).

[Lurie2009] J. Lurie, Higher Topos Theory, Annals of Mathematics Studies 170, Princeton University Press (2009).

[JohnstoneTopos] P. T. Johnstone, Sketches of an Elephant: A Topos Theory Compendium, 2 vols., Oxford University Press (2002).

[Schreiber2013] U. Schreiber, “Differential cohomology in a cohesive ∞-topos,” arXiv:1310.7930 (2013, ongoing). Cohesive higher topos theory applied to physics.

[Klein1872] F. Klein, Vergleichende Betrachtungen über neuere geometrische Forschungen (Erlangen Program), Erlangen (1872). English translation in Bull. New York Math. Soc. 2, 215–249 (1893).

[Cartan1923] É. Cartan, “Sur les variétés à connexion affine et la théorie de la relativité généralisée,” Annales scientifiques de l’École normale supérieure 40, 325–412 (1923); 41, 1–25 (1924).

[Sharpe1997] R. W. Sharpe, Differential Geometry: Cartan’s Generalization of Klein’s Erlangen Program, Graduate Texts in Mathematics 166, Springer (1997).

External — Foundational Physics

[Hawking-Ellis] S. W. Hawking and G. F. R. Ellis, The Large Scale Structure of Space-Time, Cambridge University Press (1973). §3.3 on isometry groups of Lorentzian manifolds.

[Penrose2004] R. Penrose, The Road to Reality, Jonathan Cape (2004).

[Peebles1992] P. J. E. Peebles, Quantum Mechanics, Princeton University Press (1992). The textbook used by the author in Peebles’ two-semester quantum-mechanics course at Princeton, 1990–1991.

[Peebles2019] Royal Swedish Academy of Sciences, “The Nobel Prize in Physics 2019” (awarded to P. J. E. Peebles “for theoretical discoveries in physical cosmology”). https://www.nobelprize.org/prizes/physics/2019/peebles/facts/

[Taylor1993] Royal Swedish Academy of Sciences, “The Nobel Prize in Physics 1993” (awarded to R. A. Hulse and J. H. Taylor Jr. “for the discovery of a new type of pulsar”). https://www.nobelprize.org/prizes/physics/1993/

The McGucken–Kleinian Programme as the Geometric Foundation of Constructor Theory: A Categorical Formalization