IV.R100 — The key distinction

The orthodox derivation begins with uncountably many Fock space degrees of freedom summed with equal standing; in Category tau, the Fock space is replaced by the profinite refinement tower, countable at every stage and compact in the profinite topology.