III.D87 — Arithmetic Translation Functor

Functor Arith_tr maps τ-internal arithmetic to classical ℤ. At stage k, Arith_tr(x) = reduce(x, k) — the canonical embedding Z/M_k Z ↪ ℤ. Well-defined and injective at each stage.