IV.R201 — Profinite, not sequential

The profinite limit is a categorical limit, not a sequential limit in the analyst's sense. It retains all stages packaged into a single coherent object. The tower does not converge to omega; rather hat{alpha} contains every alpha_n as a projection with omega at the boundary as a fixed point.