Registry · Remark IV.R353 tau-effective not_applicable

IV.R353 — No need for magnetic monopoles

Charge quantization in orthodox physics requires either Dirac's magnetic monopole hypothesis or grand unification; in Category tau neither is needed because compactness of the fiber torus T^2 forces integer winding numbers, making quantization a topological theorem.

Book IV Part 4 Ch. 26

Lean Formalization

Module: