Registry · Remark IV.R377 tau-effective not_applicable

IV.R377 — Grand unification reconsidered

In orthodox grand unification, running couplings converge at high energy; in Category tau the three couplings are fixed by sector algebra and do not run; apparent "unification" at the GUT scale is the regime where readout functors R_B, R_C, R_A happen to coincide.

Book IV Part 4 Ch. 29

Lean Formalization

Module: