Registry · Proposition
V.P103
tau-effective
formalized
V.P103 — Cross-coupling as naturality
For each sector pair (X,Y), the cross-coupling kappa(X,Y) is the leading spectral weight of a natural transformation eta_XY between sector projection functors on H_partial[omega]. The naturality square commutes, ensuring universal coupling form independent of specific configurations.
Book V
Part 6
Ch. 57