Registry · Definition V.D15 tau-effective formalized

V.D15 — Base Circle tau^1 (Macroscopic)

The base circle tau^1 is the one-dimensional compact profinite space generated by the two base generators alpha (Gravity/D-sector) and pi (Weak/A-sector), equipped with the alpha-orbit O_alpha = {alpha_n : n >= 1} and the profinite topology inherited from the refinement tower R = (alpha_n, rho_n).

Book V Part 1 Ch. 4

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Temporal.BaseCircle

Symbol: Tau.BookV.Temporal.BaseCircleTau1Macroscopic