[Paper Review] Categories and the Foundations of Classical Field Theories

James Owen Weatherall|arXiv (Cornell University)|May 26, 2015

Homotopy and Cohomology in Algebraic TopologyMathematics61 references21 citations

TL;DR

This paper applies category theory to analyze the structural and equivalence relations in classical field theories, showing that formalisms like Einstein algebras and relativistic spacetimes are categorically equivalent, thereby clarifying which theories possess 'excess structure' and resolving interpretational puzzles in general relativity and Yang-Mills theory through categorical duality.

ABSTRACT

I review some recent work on applications of category theory to questions concerning theoretical structure and theoretical equivalence of classical field theories, including Newtonian gravitation, general relativity, and Yang-Mills theories.

Motivation & Objective

• To address foundational issues in classical field theories—particularly regarding structure, symmetry, and theoretical equivalence—by applying category theory.
• To clarify whether formalisms like Einstein algebras truly eliminate spatiotemporal structure compared to relativistic spacetimes.
• To resolve interpretational puzzles in general relativity (e.g., the hole argument) and Yang-Mills theory using categorical tools.
• To demonstrate that category-theoretic equivalence captures intuitive notions of theoretical equivalence in physics, especially in gauge theories.
• To provide a formal framework for comparing physical theories by treating them as categories of models, enabling precise analysis of structural content and redundancy.

Proposed method

• Represents physical theories as categories of models, where objects are structures like relativistic spacetimes or Einstein algebras, and morphisms are structure-preserving maps (e.g., isometries or algebra homomorphisms).
• Uses a contravariant functor F from the category of relativistic spacetimes (GR₁) to the category of Einstein algebras (EA), mapping spacetimes to algebras of smooth functions and isometries to pullback algebra isomorphisms.
• Applies the notion of a functor that is full, faithful, and essentially surjective (hence a categorical equivalence), to show that GR₁ and EA are categorically equivalent.
• Employs the concept of 'forgetting nothing' via the functor F, meaning no structural information is lost in the transition from spacetimes to Einstein algebras.
• Analyzes gauge structure in electromagnetism and Yang-Mills theories by comparing formalisms that differ in apparent structure but are categorically equivalent.
• Uses algebraic characterizations of derivations and metrics on smooth algebras to define Einstein algebras as pairs (A, g), where A is a smooth 4-algebra and g is a Lorentz-signature metric on the module of derivations.

Experimental results

Research questions

• RQ1 To what extent do different formalisms of general relativity—such as relativistic spacetimes and Einstein algebras—differ in their underlying structural content?
• RQ2 How can category theory be used to determine whether one physical theory has 'excess structure' compared to another?
• RQ3 In what sense are classical field theories like electromagnetism and Yang-Mills theory equivalent when formulated in different mathematical languages?
• RQ4 Can categorical equivalence clarify the interpretation of the hole argument in general relativity and related issues of spacetime structure?
• RQ5 How does the use of category theory help resolve debates about the metaphysical implications of gauge symmetries in field theories?

Key findings

• The functor F: GR₁ → EA is full, faithful, and essentially surjective, establishing a categorical equivalence between relativistic spacetimes and Einstein algebras.
• The equivalence implies that Einstein algebras do not eliminate spacetime structure but instead represent it in a different, algebraic form, thus 'forgetting nothing' in the process.
• Classical electromagnetism and Newtonian gravitation are shown to possess excess structure relative to their physical content, as revealed by categorical comparison.
• The formalism clarifies that Yang-Mills theories and general relativity are not merely similar but categorically equivalent in their core theoretical structure, despite differing appearances.
• The category-theoretic framework provides a precise, formal way to compare theories and resolve longstanding interpretational issues in foundational physics.
• The results demonstrate that category theory is not just a formal tool but yields substantive insights into theoretical equivalence and structural content in classical field theories.