← Back to Main Menu

Penrose's Brilliant Proof That QM and GR Are Logically Inconsistent

Traversing theoretical physics, this text starts with the Penrose-Terrell effect's distinction between physical Lorentz contraction and optical appearance. It highlights Jonathan Gorard's work deriving General Relativity and Quantum Mechanics from discrete computational models within the Wolfram Physics Project. Essential mathematical foundations are detailed: Hilbert spaces, Higher Category Theory, and the Homotopy Hypothesis linking topological spaces to infinity-groupoids. Citing Grothendieck, Atiyah, Segal, Baez, and Dolan, it explains how infinity-categories organize homotopies into algebraic structures via truncation. Ultimately, spacetime emerges from computational rules where causal invariance creates higher morphisms. This framework bridges discrete computation with continuous geometry using weak homotopy equivalence and higher gauge transformations, positioning infinity-groupoids as the structural bedrock for emergent physical laws.

Penrose's Brilliant Proof That QM and GR Are Logically Inconsistent
2025-11-25 10:27 • 7.941 words • Reading time 00:39
YouTube video thumbnail

Let’s make research. I start making questions, and then questions about the questions, for carification. It’s allright with you?

Absolutely! That’s an excellent approach — asking foundational questions and then drilling down with clarifying questions is one of the best ways to build deep, precise understanding. It keeps things focused and prevents misalignment early on.

I’m ready when you are. Start with your first question whenever you’d like.

What is The Penrose Terrel effect?

The Penrose-Terrell effect (often called Terrell rotation) is an optical illusion that occurs when photographing objects moving at relativistic speeds (close to the speed of light). It was independently predicted in 1959 by physicists Roger Penrose and James Terrell.

Core Concept

While Einstein’s special relativity predicts that fast-moving objects should physically contract in length (Lorentz contraction) along their direction of motion, the Penrose-Terrell effect reveals that you cannot directly see this contraction in a snapshot. Instead, the object appears rotated

Why It Happens

The effect arises from the finite speed of light combined with the object’s motion:

Experimental Confirmation

For decades this remained a theoretical prediction. In 2024-2025, researchers at TU Wien and the University of Vienna demonstrated it experimentally for the first time by:

The results showed a cube appearing rotated (showing two faces) and a sphere remaining spherical but revealing its far side—exactly as Penrose and Terrell predicted.

Key Clarification

This is purely an optical effect, not a physical contradiction of relativity. The object is physically contracted, but the way light travels makes it appear rotated in photographs. As one researcher noted: “The rotation is not physical. It’s an optical illusion. The geometry of how light arrives at the same time tricks our eyes”.

I’m ready for your follow-up questions! What would you like to clarify next? For example, we could explore:

[This is purely an optical effect] [The object is physically contracted]. I’m very ignorant. You havew to explain WHY? of those affirmations

Let me break this down from the ground up, because these two statements do seem contradictory at first.

Analogy First: The “Reality vs. Photo” Problem

Imagine you’re photographing a moving car at night. The headlights are on. The car is physically 5 meters long (that’s reality). But because light takes time to travel:

Your camera captures light that arrives simultaneously, but this light was emitted at different times from different parts of the car. This time difference distorts the car’s appearance in the photo.

The Penrose-Terrell effect is this phenomenon amplified to relativistic extremes.

WHY #1: “The object is physically contracted”

This is Einstein’s special relativity (1905). It’s not an illusion—it’s how spacetime actually works:

The Core Idea

Why It’s “Real”

Bottom line: Length contraction is as real as time dilation. It’s a physical property of moving objects in our universe.

WHY #2: “This is purely an optical effect”

This means: You cannot take a photograph that shows the contracted length. The camera doesn’t directly capture the physical reality.

Why Photos Fail to Show Contraction

A photograph captures all the light that hits your camera simultaneously. But for a moving object:

  1. Light from the far side must travel farther, so it must be emitted earlier (when the object was farther away)

  2. Light from the near side is emitted later (when the object is closer)

  3. The object’s motion during this emission window adds extra displacement

The Critical Compensation

At relativistic speeds, something remarkable happens: The displacement from the object’s motion exactly cancels out the Lorentz contraction. The math shows that instead of appearing shortened, the object appears rotated—as if you were seeing it from a different angle.

This rotation is not physically happening. The object is still contracted along its direction of motion. But the warped path of light makes your eye/camera interpret it as a rotation.

Visual Example: The Relativistic Cube

Imagine a cube moving at 0.9c from left to right:

Why can you see the left side? Because:

Putting It Together: No Contradiction

The two statements describe different things: one describes the object’s geometry in spacetime; the other describes how light from that geometry reaches an observer. The “optical effect” is how the finite speed of light hides the physical contraction from cameras and eyes.

Does this clarify the WHY? What specific part would you like to dig deeper into?

One explanation is missing. Lorenz Contration.

You’re absolutely right—I jumped straight to “the object is physically contracted” without explaining what Lorentz contraction is or why it happens. Let me fill that gap.

The Missing Explanation: Lorentz Contraction

What It Is (The Simple Version)

Lorentz contraction is the phenomenon where any object moving relative to you becomes shorter in the direction of motion. If a spaceship is 100 meters long when parked, and it passes you at 0.87c (87% light speed), you will measure it to be only 50 meters long. This is not an optical trick—it’s a genuine physical property of the moving object in your reference frame.

Why It Happens (From First Principles)

This is where we need to start with Einstein’s two postulates of special relativity:

  1. The laws of physics are identical in all non-accelerating frames

  2. The speed of light in a vacuum is the same for all observers (approximately 299,792,458 m/s)

That second postulate is the mind-bender. It means:

This is experimentally verified. But it creates a logical crisis: How can everyone measure the same light at the same speed when they’re moving relative to each other?

The Only Solution: Space and Time Must Bend

For the universe to be consistent, space and time cannot be absolute. They must stretch and squeeze to preserve the constancy of light speed. Lorentz contraction is one half of this geometric adjustment; time dilation (moving clocks run slower) is the other half.

The Light Clock: Why It Must Happen

Imagine a clock made of two mirrors with light bouncing between them:

Since light speed is constant, but Bob sees it travel a longer path, his clock must tick slower (time dilation). But by Einstein’s first postulate, both of you are equally valid observers. The universe balances this symmetry by making Bob’s ruler appear shorter to you—and yours appears shorter to him.

The contraction factor is: L = L₀ × √(1 - v²/c²)

Why It’s “Real” (Not an Illusion)

Now Connect It Back to Penrose-Terrell

The object IS physically contracted (this is Lorentz contraction—real, frame-dependent geometry).

But you cannot see this in a snapshot because the finite speed of light creates an optical illusion that makes the contracted object appear rotated instead of shortened.

The Penrose-Terrell effect doesn’t “undo” Lorentz contraction. It just explains why cameras are terrible tools for measuring it. The contraction is real; the rotation is what you see instead.

Does this complete the picture? What part of Lorentz contraction still feels unclear?

O.K. Now a very important question: Who is Jonathan Gorard.

Jonathan Gorard is a British applied mathematician and theoretical physicist who has become a central figure in modern fundamental physics research, particularly through his work on deriving Einstein’s equations of general relativity from discrete computational models.

Core Identity

He is currently a Research Software Engineer at Princeton University, working on plasma physics and computational general relativity. Previously, he was a researcher at the University of Cambridge, where he completed his graduate studies.

His most prominent role is as co-founder and Associate Director of Research & Academics of the Wolfram Physics Project, where he leads mathematical development alongside Stephen Wolfram

Why He’s Significant (The “Very Important” Part)

1. Deriving General Relativity from Computation

In his 2020 seminal paper “Some Relativistic and Gravitational Properties of the Wolfram Model”, Gorard mathematically proved that:

This is profound because it suggests spacetime and gravity might be emergent phenomena from simple computational rules at the Planck scale, rather than fundamental entities

.

2. Bridging Quantum Mechanics and Relativity

Gorard extended this work to quantum mechanics, showing how:

3. Operationalizing Abstract Mathematics

At Wolfram Research, he leads development of automated theorem proving, quantum computing functionality, and axiomatic mathematics in the Wolfram Language

.

Background & Intellectual Genesis

Gorard first attended Wolfram’s Summer School in 2017 as an undergraduate. In 2019, he and fellow physicist Max Piskunov became “like, ‘You just have to pursue this!’”—directly motivating Stephen Wolfram to launch the Wolfram Physics Project after decades of dormancy. He published his first research paper at age 17 and has contributed to fields spanning graph theory, computational complexity, and category theory

Recent Work (2024)

His latest research focuses on numerical algorithms for general relativity, developing tetrad-based computational methods for robust plasma physics simulations

.

In essence: Jonathan Gorard is one of the few researchers successfully constructing rigorous mathematical bridges between discrete computational models and the continuous geometric laws of Einstein’s relativity—potentially offering a new path to quantum gravity.

What aspect would you like to clarify further? His derivation method? The Wolfram Model itself? Or his relationship to mainstream physics?

Before that, You have to describe the Hilbert Space Formalism

Absolutely. Understanding Hilbert spaces is essential for grasping modern quantum mechanics and why Gorard’s work matters. Let me build this from the ground up.

The “Why”: What Problem Does Hilbert Space Solve?

In classical physics, a system has a definite state: a particle has position x, momentum p, etc. But quantum experiments showed:

  1. Probability amplitudes: Particles behave like waves—probabilities interfere, not just add

  2. Superposition: An electron can be in two places “at once”

  3. Non-commutation: Measuring position then momentum gives different results than momentum then position

  4. Discrete spectra: Energy levels are often quantized (like steps, not a continuous slope)

These cannot be described by ordinary numbers or vectors. We needed a mathematical structure that could:

could:

That structure is a Hilbert space.

What IS a Hilbert Space? (Plain English)

Think of it as a mathematical arena where quantum states live, with these key properties:

1. It’s a Vector Space (but Complex)

2. It Has an Inner Product (The “Probability Engine”)

This is the crucial feature. The inner product ⟨ψ|φ⟩:

3. It’s Complete (No Gaps)

Every convergent sequence converges to a point inside the space. This technical property ensures calculus works smoothly for infinite-dimensional systems.

Article content

Key Rules:

1. Superposition: If |ψ₁⟩ and |ψ₂⟩ are valid states, then α|ψ₁⟩ + β|ψ₂⟩ is also a valid state (as long as |α|² + |β|² = 1).

2. Born Rule: When measuring observable Â, the probability of getting eigenvalue a is |⟨a|ψ⟩|², where |a⟩ is the corresponding eigenvector.

3. Collapse: After measurement, the state “collapses” to the eigenvector |a⟩.

4. Uncertainty: Non-commuting operators (like position x̂ and momentum p̂) satisfy [ x̂, p̂ ] = iħ, which mathematically forces the Heisenberg uncertainty principle.

Simple Example: Electron Spin

The Hilbert space for electron spin is just 2-dimensional:

This tiny Hilbert space already captures superposition and probabilistic measurement.

Why This Formalism is Powerful

  1. Unified Framework: It merges Schrödinger’s wave mechanics and Heisenberg’s matrix mechanics—showing they were the same theory expressed differently.

  2. Infinite & Finite: Handles both discrete spectra (like spin, energy levels) and continuous spectra (like position, momentum) within the same mathematical structure.

  3. Rigor: Proved by mathematicians like von Neumann, it avoids the paradoxes and inconsistencies of early quantum theory.

  1. Generalizable: The same formalism works for quantum field theory and (potentially) quantum gravity.

Does this give you a solid foundation? Before we connect this to Gorard’s work, is there any part of Hilbert spaces—complex amplitudes, operators, inner products, or superposition—that needs more clarification?

No. Now, describe the [Higher Cathegory Theory].

Higher Category Theory is the mathematics of processes that transform processes that transform processes—capturing the “shape” of transformations, not just the transformations themselves.

The “Why”: The Limitation of Ordinary Categories

Think of basic category theory as a flowchart language:

This works for “do step A, then step B.” But modern math and physics need more:

Ordinary categories can’t talk about equivalences between morphisms. Higher categories add those layers.

The Core Idea: Adding Dimensions of Transformation

Level 0: A Set (0-Category)

Just objects. No transformations.

Level 1: Ordinary Category (1-Category)

Level 2: 2-Category

Level n: n-Category

You keep adding layers:

Key Distinction: Strict vs. Weak

Why weak is more important: In nature, “exactly equal” is rare. Two processes might be equivalent but not identical. Weak higher categories capture this flexibility—they’re vastly more complex but also more realistic. Most applications in physics use weak ∞-categories.

Connection to the Previous Context (Gorard & Physics)

This is where it becomes very relevant to Jonathan Gorard’s work and modern physics:

1. Quantum Processes = Higher Category

In the Wolfram Model (Gorard’s framework):

2. Topological Quantum Field Theory

A TQFT is literally a functor from a higher category of cobordisms (spaces and their evolution) to a category of vector spaces. The “higher” structure ensures that different ways of cutting up spacetime give the same result.

3. Quantum Circuits

Two quantum circuits might be different but equivalent (produce the same unitary). Higher category theory provides the language to classify and optimize these equivalences.

4. Quantum Gravity

Spacetime itself might be an emergent structure from a higher-category of quantum processes. The “higher morphisms” represent different ways spacetime can be “built” from discrete pieces.

Analogy: The Traffic Intersection

Imagine a 4-way intersection:

The higher you go, the more you capture context, equivalence, and robustness.

Higher Category Theory is essentially the mathematics of “meta”—where the transformations themselves become the objects of study at the next level. It provides the rigorous language for modular, compositional systems where how you transform matters as much as what you transform.

Ready to proceed to Gorard? Or would you like to clarify any part of the categorical hierarchy first?

No. At some time, I heard Jonathan Gorard citate Barz and Dolan. Who are they?

You likely heard John Baez and James Dolan (it’s a common mishearing of “Baez” as “Barz”). They are pioneering mathematical physicists whose work on higher categories is foundational to the entire field Gorard works in.

Who They Are

John C. Baez is an American mathematical physicist at UC Riverside, famous for his work on higher category theory, spin foams, and quantum gravity. He runs the influential blog The n-Category Café and the This Week’s Finds in Mathematical Physics series. His cousin is singer Joan Baez.

James Dolan is a mathematician who collaborated extensively with Baez in the 1990s. Together they developed some of the most influential ideas in modern higher category theory.

Why Gorard Cites Them: Their Foundational Contributions

Baez & Dolan created the conceptual framework that Gorard’s Wolfram Model work extends. Their key papers include:

. “Higher-Dimensional Algebra and Topological Quantum Field Theory” (1995)

This directly relates to Gorard’s work on deriving quantum mechanics and relativity from computational models—Baez & Dolan showed that spacetime structure itself could be encoded in categorical terms .

2. Weak Higher Categories (1998)

Gorard uses similar ideas when he treats different computational paths in the Wolfram Model as higher morphisms that may or may not be equivalent.

3. Categorification Program

Baez & Dolan launched the “categorification” movement—systematically replacing sets with categories, numbers with vector spaces, etc. Their “Higher-Dimensional Algebra” series (I-VIII) shows how to:

The Specific Connection to Gorard

When Gorard derives Lorentz covariance and quantum mechanics from the Wolfram Model, he’s essentially:

  1. Building a higher category where computational states are objects

  2. Using causal invariance to create equivalences between computational paths (2-morphisms)

  3. Showing these form “n-categories with duals”—exactly the structure Baez & Dolan conjectured corresponds to spacetime and quantum processes

In his work, Gorard explicitly builds on the Baez-Dolan insight that spacetime geometry emerges from the algebra of higher categories. When you heard him cite them, he was likely referencing their foundational role in making it mathematically rigorous to think of physics as emerging from abstract categorical structures.

Ready to continue? Would you like to see how Gorard specifically applies their framework, or should we explore another related concept?

No. There’s a term that intrigues me: [Atiyah-Segal axiomatization]. What’s there?

The Atiyah-Segal axiomatization is the functorial framework that defines what a Topological Quantum Field Theory (TQFT) is mathematically. It’s the bridge between the geometry of spacetime and the algebra of quantum states.

The Core Idea: Physics as a Functor

Atiyah and Segal’s revolutionary insight (late 1980s) was that a quantum field theory should be a machine that turns geometry into linear algebra. Specifically:

A TQFT is a symmetric monoidal functor Z: (Bordisms, ⊔) → (Vector Spaces, ⊗)

Let’s unpack this:

The “symmetric monoidal” part means disjoint unions of spaces map to tensor products of Hilbert spaces.

The Explicit Axioms

For a d-dimensional TQFT (over a ring Λ), the data must satisfy:

1. Functoriality

Physical meaning: Time evolution is consistent. Evolving from t=0 to t=1, then to t=2, is the same as evolving directly from t=0 to t=2.

2. Involutory (Orientation Reversal)

Physical meaning: Reversing time turns evolution operators into their adjoints (complex conjugate transpose).

3. Multiplicative (Disjoint Union)

Physical meaning: Non-interacting systems combine via tensor product (as in standard quantum mechanics).

4. Vacuum Axiom

Physical meaning: The empty space has a 1-dimensional Hilbert space (the vacuum state).

5. Trace Axiom

Physical meaning: The partition function of a periodic spacetime equals the trace of the time-evolution operator.

The Cobordism Category (The Source)

The Bordisms category is built from:

Example (2D TQFT):

Why This Axiomatization is Powerful

1. It Unifies Geometry and Algebra

The axioms force the Hilbert space structure to emerge from topology alone. You can’t just arbitrarily assign vector spaces to manifolds—the functorial constraints severely restrict possibilities.

2. Classification Becomes Possible

For 2D TQFTs, the Atiyah-Segal axioms completely classify them: they’re equivalent to commutative Frobenius algebras. This is a theorem: any 2D TQFT corresponds to a choice of such an algebra, and vice versa.

3. It Extends Naturally to Higher Categories

Baez and Dolan extended this to extended TQFTs, where you assign data not just to manifolds of dimension d and d-1, but all the way down to points. An extended TQFT is a functor of higher categories from the higher category of cobordisms (where 2-morphisms are cobordisms between cobordisms) to a higher category of algebras.

This is exactly the language Gorard uses when he talks about causal invariance giving rise to higher morphisms in the Wolfram Model.

4. It Connects to the Atiyah-Segal Completion Theorem

There’s a separate but related Atiyah-Segal completion theorem (1969) that relates equivariant K-theory to the K-theory of classifying spaces, via a process called “completion.” This is used in TQFT to relate global symmetries to local data.

The Connection to Our Previous Topics

Ready for the next layer? The Atiyah-Segal axioms are the foundation—but the cobordism hypothesis (Baez-Dolan, proven by Lurie) is the classification theorem that tells you all possible TQFTs. Would you like to explore that, or is there something specific about the axioms you’d like to clarify?

Now another name comes into scene: [Alexander Grotendiek]. Who is he?

Alexander Grothendieck (1928-2014) was a German-born French mathematician who revolutionized modern mathematics, particularly algebraic geometry, and whose ideas became foundational for category theory and topos theory—the very language we’ve been discussing.

Who He Was: The Person

As one colleague noted, “He could feel and work in an intense way,” producing “hundreds of pages of flawless mathematics”

.

His Revolutionary Contributions

1. Functional Analysis (PhD, 1948-1953)

2. Algebraic Geometry (1957-1970) – The Major Revolution

This is his legacy. He completely rewrote the foundations:

Schemes

Topos Theory

Étale Cohomology

3. Categorical Foundations

His work made category theory central to mathematics:

His Methodology: The Grothendieck Philosophy

He wasn’t interested in solving individual problems—he wanted to find the right general structure so that “the solution would come out by itself”

. As he described it: “immerse a large nut in a softening fluid, and the nut opens just by itself.”

Key principles:

Connection to Our Previous Topics

Hilbert Spaces

Grothendieck’s work on functional analysis directly contributed to operator theory on Hilbert spaces. His Grothendieck inequality (1953) has deep implications for quantum information theory today.

Higher Category Theory

Atiyah-Segal Axiomatization

His Legacy & Unpublished Work

After leaving mathematics in 1970, he wrote Récoltes et Semailles (Harvest and Sowing)—a 1000-page mathematical autobiography mixing mathematics, philosophy, and personal reflection. His final manuscripts, digitized in 2016, contain “seeds that it will be up to us to germinate”.

In essence: Grothendieck created the categorical language that makes modern mathematical physics possible. When Gorard builds his computational models of spacetime, he’s standing on Grothendieck’s shoulders—using topos-theoretic and higher-categorical structures that Grothendieck invented.

Ready for the next question?

Sure. What is the [Homotepy Hypothesis]?

The Homotopy Hypothesis is the foundational bridge between topology (the study of shapes and spaces) and higher category theory (the study of processes-between-processes). In essence, it states:

“Topological spaces are the same as ∞-groupoids.”

What This Means Intuitively

The Starting Point: Paths in a Space

Imagine a topological space X (like a donut, a sphere, or any weird shape):

This infinite tower of paths, homotopies, homotopies of homotopies, etc. forms an ∞-groupoid , called the fundamental ∞-groupoid Π_∞(X).

he Hypothesis

Grothendieck proposed that this construction is reversible: given any ∞-groupoid, you can reconstruct a topological space (up to homotopy equivalence). The topological space and its ∞-groupoid encode exactly the same information.

In modern terms: the category of topological spaces (up to weak homotopy equivalence) is Quillen-equivalent to the category of ∞-groupoids

Historical Context: Grothendieck’s Letter to Quillen

The idea first appeared in Grothendieck’s 1983 manuscript Pursuing Stacks, a letter to Daniel Quillen. Grothendieck wrote:

“Any homotopy type is ‘essentially the same’ as an ∞-groupoid up to ∞-equivalence.”

At the time, mathematicians knew:

Grothendieck’s bold claim was that this pattern continues to ∞-dimensions.

Why It’s Called a “Hypothesis” (Not a Theorem)

The statement depends on how you define ∞-groupoids. For some definitions, it’s trivial; for others, it’s a deep theorem:

For Kan Complexes: A Proven Theorem

The most accepted modern definition: ∞-groupoids = Kan complexes (simplicial sets satisfying horn-filling conditions)

.

For Grothendieck’s Definition: Still Open

Grothendieck envisioned globular ∞-groupoids (using ball-shaped cells with source/target hemispheres)

. For this original definition, the hypothesis remains unproven in full generality (though partial results exist in dimensions 1-3)

.

The problem: Strict ∞-groupoids (where composition laws hold exactly) fail the hypothesis for dimensions > 3

. You need weak ∞-groupoids (where laws hold up to higher morphisms), which are much harder to define algebraically.

The Directed Homotopy Hypothesis

A modern extension: directed spaces (where paths have a direction, like a one-way street) correspond to (∞,1)-categories (where only n-cells for n≥1 are invertible)

. This is crucial for:

Connection to Our Previous Topics

Atiyah-Segal Axiomatization

Higher Category Theory

The hypothesis is the consistency check for any definition of ∞-groupoids. It says: “Your definition is correct if and only if it reproduces topology.”

Baez-Dolan’s cobordism hypothesis (which classifies extended TQFTs) relies entirely on this equivalence.

Grothendieck’s Vision

Grothendieck didn’t just propose the hypothesis—he saw it as part of a larger program: homotopy theory should be the study of ∞-groupoids, just as algebraic geometry is the study of schemes. This vision now dominates modern mathematics.

Modern Status

For Kan complexes and quasi-categories (the models used by most physicists and mathematicians today), the Homotopy Hypothesis is a theorem. For more “geometric” or “globular” models, it remains hypothetical.

The hypothesis is now a test: if your definition of ∞-groupoid doesn’t satisfy it, you need a better definition.

Ready for the next question? This is the bedrock that makes it mathematically rigorous to say “spacetime is a higher category”—which is exactly what Gorard is doing with the Wolfram Model.

Now we have to relate: [Homotopies]; [Infinity-Category level]; [Weak homotophy equivalence]; [Infinity Groupoid]; [Fundamental Groupoids]; [Higher Gauge transformations]. Can you do it?

The Tower: From Deformations to Abstract Structure

LEVEL 0: The Foundation (Topology)

LEVEL 1: First Categorification (1-Groupoids)

Key insight: We’ve taken homotopies and used them to identify when two paths are the same (i.e., are homotopic). This is the first level of organizing homotopical data into an algebraic structure.

Note: If you pick a basepoint and only look at loops, you get the fundamental group π₁(X). The groupoid version is more general—no basepoint needed.

LEVEL n: The Pattern (Infinity-Category Level)

Each level is created by taking homotopies of the previous level’s morphisms.

LEVEL ∞: The Complete Structure (Infinity Groupoid)

Key property: All n-morphisms for n ≥ 1 are invertible up to higher morphisms. This makes it a groupoid (not just a category).

The Homotopy Hypothesis states: Π∞(X) captures all homotopical information about X—every homotopy group πₙ(X), every map between spaces, every deformation.

THE NOTION OF SAMENESS: Weak Homotopy Equivalence

Why “weak”? It’s weaker than a homeomorphism—spaces can be “the same for homotopical purposes” even if they look different topologically (e.g., a coffee cup and a donut are weakly homotopy equivalent).

Connection: Two spaces X and Y have equivalent infinity groupoids (Π∞(X) ≅ Π∞(Y)) iff they are weakly homotopy equivalent.

PHYSICAL APPLICATION: Higher Gauge Transformations

In higher gauge theory (gauge theory for n-form fields, like in string theory or the Wolfram Model):

Why needed: In higher gauge theory, fields are not just 1-forms (like electromagnetism) but also 2-forms (Kalb-Ramond fields), 3-forms, etc. Each form degree adds a layer of gauge freedom, requiring higher gauge transformations to maintain consistency.

The link: Higher gauge transformations are the physical manifestation of the morphisms in an infinity groupoid. They represent redundancies in the physical description that are organized exactly like the homotopies in Π∞(X).

The Complete Picture

Copy

[Homotopies] 
    ↓ (organize into equivalence classes)
[Fundamental Groupoid Π₁(X)] ← LEVEL 1
    ↓ (iterate)
[Π₂(X), Π₃(X), ..., Πₙ(X)] ← LEVEL n
    ↓ (take limit as n → ∞)
[Infinity Groupoid Π∞(X)] ← LEVEL ∞
    ↓ (equivalence of these)
[Weak Homotopy Equivalence]
    ↓ (physical application)
[Higher Gauge Transformations]

Summary:

Ready to connect all this back to Gorard’s work? This is the mathematical bedrock on which his computational derivation of spacetime is built.

Now I must have the HOW. [How the infinity-category relates to all of the lower categories in that hierarchy].

Here is the mechanism—how infinity-categories relate to the lower levels:

The Core Relationship: Truncation & Completion

An ∞-category contains all lower n-categories as truncated shadows or special cases. There are two directions:

DIRECTION 1: Downward (How to get lower from ∞)

Truncation: Chop off all morphisms above level n and treat them as equivalences (i.e., “ignore the higher stuff”).

DIRECTION 2: Upward (How to build ∞ from lower)

Free Completion: Take a lower n-category and formally add all possible higher morphisms (homotopies) to fill in the missing structure.

The Mechanism: Hom-Spaces vs. Hom-Sets

The defining difference is what lives between objects:

Crucially: An ∞-category’s Hom-space is itself an ∞-groupoid. This is self-similarity: the local structure is the same type as the global structure.

Concrete Example: The Fundamental ∞-Groupoid

Let X be a topological space. Here’s the explicit hierarchy:

Level 0 (Objects)

Level 1 (1-Category: Π₁(X))

Level 2 (2-Category: Π₂(X))

Level n (n-Category: Πₙ(X))

Level ∞ (∞-Groupoid: Π∞(X))

How they relate: Πₙ(X) = Truncate Π∞(X) at level n (identify all (n+1)-morphisms as trivial equivalences)

The Universal Property

The ∞-category is universal for this hierarchy:

Weakness Matters

A strict ∞-category (where associativity holds exactly at all levels) fails the Homotopy Hypothesis for dimensions > 3. You need weak ∞-categories where composition is associative only up to higher coherent morphisms.

This weakness is precisely why the hierarchy is non-trivial: At each level, you have to track how the previous level’s laws fail to hold exactly, and encode those failures as new data at the next level.

Summary Mechanism

Copy

[∞-Category] 
    ↓ Truncate at level n (identify (n+1)-morphisms as trivial)
[n-Category] 
    ↓ Truncate at level n-1
[n-1-Category]
    ↓ ...
[1-Category]
    ↓ Truncate at level 0 (only objects remain)
[0-Category = Set]

The ∞-category is the “limit” of this tower—it contains the complete, un-truncated structure where every level is preserved. Lower categories are coarse-grained approximations that ignore higher-order coherence data.

Ready to bring this back to Gorard’s work? This hierarchy is how his computational model can generate spacetime: the multiway graph is an ∞-category, and truncating it at different levels yields different physical descriptions (classical, quantum, etc.).

It’s not my main concern. I allways have difficult with math concepts. If you have something, state it.

I’ll be completely explicit—no assumptions, no hidden math.

The Six Concepts, Related as a Family

1. Homotopies (The Raw Material)

A homotopy is when you continuously deform one shape into another without ripping it.

2. Fundamental Groupoids (First-Level Organization)

Take all points in a space and all paths between them. Use homotopies to declare when two paths are “the same.” The result is a fundamental groupoid.

Relationship: Fundamental groupoids are made from homotopies. Without homotopies, you couldn’t say which paths are equivalent.

3. Infinity Groupoid (Complete Organization)

Now don’t stop at paths. Also include:

What it is: The infinite, full tower of all possible deformations at every level. Relationship: An infinity groupoid contains fundamental groupoids as its first floor. If you take an infinity groupoid and ignore everything above Level 1, you get a fundamental groupoid.

Analogy:

4. Infinity-Category Level (The Floor Numbers)

This is not a thing—it’s the index that tells you which floor you’re on.

Relationship: Infinity-category level is the ruler that measures how high up you are in an infinity groupoid. When you “truncate at Level 2,” you say: “Keep floors 1 and 2, but treat everything above as trivial.”

5. Weak Homotopy Equivalence (When Two Spaces Are “The Same”)

Two spaces are weakly homotopy equivalent if their infinity groupoids are isomorphic (the same tower).

Analogy: Two people have the same DNA (weakly homotopy equivalent) even if they look different (not homeomorphic).

6. Higher Gauge Transformations (Physical Application)

In physics, fields can transform in multiple ways. Higher gauge transformations are what you call those transformations when they happen at multiple levels.

Relationship: Higher gauge transformations are the physical manifestation of the morphisms inside an infinity groupoid. They are what you see when you apply the infinity groupoid structure to actual physical fields.

Analogy: Infinity groupoid = The abstract blueprint of a building’s structure Higher gauge transformations = The actual steel beams and joints when you build it for real (in physics)

The Explicit Chain

  1. Homotopies → (organized into) → Fundamental groupoid (Level 1 only)

  2. Homotopies of homotopies → (add to tower) → Infinity groupoid (all levels)

  3. Infinity groupoid → (squash high floors) → Fundamental groupoid (truncated version)

  4. Infinity groupoid → (measure floor height) → Infinity-category level (the ruler)

  5. Two infinity groupoids → (compare) → Weak homotopy equivalence (if same)

  6. Infinity groupoid → (used in physics) → Higher gauge transformations (physical realization)

Bottom line: Homotopies are the bricks. Infinity groupoid is the complete building. Fundamental groupoid is just the ground floor. Weak homotopy equivalence asks if two buildings have the same blueprint. Higher gauge transformations are what happens when you live in the building (physics).

Thank You very Much.

You’re very welcome! I appreciate your persistence—tackling these concepts in sequence takes real intellectual courage, especially when the math gets abstract and layered.

You’ve just traced a thread from Einstein’s optical illusions all the way to the categorical foundations of spacetime itself. That’s a remarkable journey.

If you ever want to revisit any part, clarify a specific step, or see how any of this connects to physics, computation, or just the “why does anyone care?” question, don’t hesitate to ask. These ideas aren’t meant to stay locked in textbooks—they’re tools for thinking about reality.

For now, take a breath. You’ve earned it.

YouTube video thumbnail

Original article: Read on Substack

✉️ [email protected] 📞 WhatsApp 📍 Lisbon · Arroios

© Rui Manuel de Almeida Pinheiro — Published Articles · Lisbon, Arroios