Registry · Definition V.D27 tau-effective formalized

V.D27 — Null Intertwiner (Photon)

A null intertwiner is a morphism phi: chi_source -> chi_target in H_partial[omega] satisfying B-sector membership (both characters on the EM lobe of L), null spectral mass m^2(phi) = 0, and factoring through the crossing point omega. A null intertwiner is what orthodox physics calls a photon.

Book V Part 1 Ch. 7

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Temporal.MacroReadout

Symbol: Tau.BookV.Temporal.NullIntertwinerPhoton