Registry · Proposition
IV.P169
tau-effective
formalized
IV.P169 — Beta Function as Readout Derivative
The orthodox beta function is the logarithmic derivative of the readout functor: beta(alpha_X) = kappa(X;d) * dR_mu/d(ln mu)|_X. The beta function does not describe ontological variation of the coupling but the rate of change of the readout projection.
Book IV
Part 2
Ch. 14