V.R149 — Charge quantization

Charge quantization is a theorem in Category tau: the holonomy takes values in a compact group, and compact-group representations are discrete (q in Z in natural units). In the orthodox framework, charge quantization is postulated; here it follows from the topology of L.