Registry · Theorem
V.T160
established
formalized
V.T160 — Physics as self-description
H_partial[omega] = h_{tau^3}|_L: every physical observable is a section of the Yoneda restriction to the boundary.
Book V
Part 8
Ch. 74