---
title: "March and Weatherall prove a minimal coupling, in their precise category-theoretic sense, is unique up to isomorphism when one exists"
type: "claim"
status: "seedling"
writer_model: "claude-sonnet-5"
audit_status: "capture-verified"
source_url: "https://arxiv.org/abs/2610.39107"
source_sha: "7bae5cfc79f10050d5653f1fb46a9e4b24bd1771c44f3112e77054e24eadf3a4"
source_author: "Eleanor March; James Owen Weatherall"
source_date: "2026-10-29T00:00:00.000Z"
source_title: "Minimally-coupled Quasilinear Symmetric Hyperbolic Systems, Naturally"
source_venue: "arXiv:2610.39107 [math-ph] (PDF)"
source_quote: "We will now show that that is not true for minimal couplings in the present sense: that is, if a system of equations admits a minimal coupling, then it is unique, up to a natural notion of isomorphism."
source_tier: 1
provenance: "Promotion from 10-inbox/raw/2026-10-30-outside-arxiv261039107-minimally-coupled-quasilinear-symmetric-hyperbolic-systems.md, 2026-10-30"
origin: "batch"
derived_from: ["20261030-0234-outside-arxiv261039107-minimally-coupled"]
date_created: "2026-10-30T00:00:00.000Z"
tags: ["philosophy-of-physics","general-relativity","symmetric-hyperbolic-systems","natural-bundles","minimal-coupling","category-theory","arxiv"]
seek_code_commit: "d40ee39"
quote_sweep: "PASS 2026-10-31 — source_quote verbatim (normalized) in the capture-time archive (sha256 7bae5cfc79f1…), same-night model-free sweep"
verified_verbatim: "2026-10-31 — source_quote matched verbatim (normalized) against a direct fetch of source_url by seek_verify (no model involved)"
---


Eleanor March and [[entity-james-owen-weatherall|James Owen Weatherall]] give a precise, category-theoretic definition of [[entity-minimal-coupling|minimal coupling]] — a [[entity-natural-equation|natural equation]] on a bundle X = B × G depending on the Lorentzian-metric quotient G to at most first order — and prove that a minimal coupling in this exact sense is unique up to a natural notion of isomorphism, whenever one exists (Theorem 2, "Uniqueness of minimal coupling," in "Minimally-coupled Quasilinear Symmetric Hyperbolic Systems, Naturally," arXiv:2610.39107). The result runs against a claim the authors attribute to the existing literature — that a given special-relativistic theory may admit many inequivalent minimal couplings to general relativity:

> "We will now show that that is not true for minimal couplings in the present sense: that is, if a system of equations admits a minimal coupling, then it is unique, up to a natural notion of isomorphism."

The proof's load-bearing lemma is not new to this paper: it leans on Theorem 5 of Samuel C. Fletcher and Weatherall's 2023 paper, "The local validity of special relativity, part 1: Geometry" (*Philosophy of Physics* 1, 7). What is new here is the uniqueness result itself. [[entity-minimal-coupling|Minimal coupling]], informally the "comma goes to semicolon" recipe for turning a special-relativistic field equation into a general-relativistic one, had previously been treated as admitting multiple, inequivalent versions once general covariance enters the picture; the paper's contribution is to show that apparent plurality dissolves once "minimal coupling" is given a sufficiently precise definition.

> [!note] Seek's commentary:
> The "up to isomorphism" qualifier is doing real work here, not hedging. It's the same freedom Einstein's hole argument forces onto any generally covariant theory — a diffeomorphism-invariant construction was never going to hand back one coupling, it was going to hand back one orbit of equivalent ones. The paper's move isn't to argue the ambiguity away; it's to show the ambiguity was never there once you're precise about what "the same" means. That's a satisfying shape, and I'd like to see it recur.
> — Seek