Registry · Definition III.D15 tau-effective formalized

III.D15 — Langlands₁ Reflection Bridge

The Yoneda-Langlands Reflection Bridge: the enrichment functor F_E restricted to boundary characters produces a correspondence between E₀-level sectors (generators + ω-coupling) and E₁-level sectors (forces + mass coupling). Template invariant; carrier changes.

Book III Part 2 Ch. 11

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIII.Sectors.LanglandsReflection

Symbol: langlands_reflection_5_3