Registry · Theorem
V.T121
tau-effective
formalized
V.T121 — Properties of the correspondence functor
The correspondence functor Phi from tau-observables (boundary characters on H_partial[omega]) to orthodox observables (Hermitian operators on Hilbert spaces) is faithful on the overlap domain, non-surjective (artifacts like UV divergences have no ontic source), and maps the five-sector decomposition to the gauge-group decomposition SU(3) x SU(2) x U(1) x Diff(M).
Book V
Part 7
Ch. 59