Registry · Definition IV.D326 tau-effective formalized

IV.D326 — Readout Functor

The readout functor R_mu maps internal categorical objects (Layer 1, H_partial[omega]) to operational measurement procedures (Layer 2). Single anchor (m_n), 4 exact SI constants (c, h, e, k_B).

Book IV Part 8 Ch. 68

Dependency Graph

Depends on (3)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Physics.ReadoutFunctor

Symbol: Tau.BookIV.Physics.ReadoutFunctor