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

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Coda.HermeticClosure

Symbol: Tau.BookV.Coda.physics_self_description