Registry · Definition
IV.D15
tau-effective
formalized
IV.D15 — Sector Lift Functor
Sector lift functor Lift_S: H_fix[ω] → H_fix[ω]. Ring homomorphism, σ-equivariant. 5 canonical lifts: EM=ι_τ², Weak=ι_τ, Strong=ι_τ³/(1−ι_τ), Gravity=1−ι_τ, Higgs=ι_τ³/(1+ι_τ).
Book IV
Part 2
Ch. 4