Registry · Remark IV.R445 tau-effective not_applicable

IV.R445 — Feynman Diagram Composition Rules

Morphism composition in τ³ diagram category: (1) glue output legs to input legs, (2) sum over intermediate states. Universal monoidal-category operations. Structural ancestor: III.T05 sector preservation.

Book IV Part 8 Ch. 72

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: