Registry · Definition IV.D10 tau-effective formalized

IV.D10 — Carrier Type

Carrier type for physical quantities in τ³ = τ¹ ×_f T²: Fiber (T², microcosm), Base (τ¹, macrocosm), or Crossing (lemniscate point).

Book IV Part 2 Ch. 3

Dependency Graph

Depended on by (8)

IV.D107 IV.D109 IV.D11 IV.D115 IV.D20 IV.P52 IV.P67 IV.T59

Lean Formalization

Module: TauLib.BookIV.Physics.QuantityFramework

Symbol: Tau.BookIV.Physics.CarrierType