Registry · Remark V.R246 tau-effective formalized

V.R246 — Naturality replaces gauge invariance

In orthodox gauge theory, universality of force couplings follows from gauge invariance of the Lagrangian. In tau, gauge invariance is replaced by naturality of cross-couplings as natural transformations. Naturality is stronger: it applies to the entire algebra of observables, not just the Lagrangian.

Book V Part 6 Ch. 57

Lean Formalization

Module: TauLib.BookV.Cosmology.BoundaryUnification

Symbol: Tau.BookV.Cosmology.NaturalityReplacesGaugeInvariance