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

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.BoundaryUnification

Symbol: Tau.BookV.Cosmology.CrosscouplingAsNaturality