Registry · Theorem
V.T122
tau-effective
formalized
V.T122 — Renormalization as tower truncation
The renormalized QFT calculation at l loops with scheme S equals the readout of the boundary algebra H_l at refinement depth l under the chart projection determined by S: [QFT at l loops]_S = pr_S(H_l). Different renormalization schemes are different chart projections of the same ontic object H_l.
Book V
Part 7
Ch. 60