IV.T95 — Structural Arrow of Time

The temporal direction of the refinement tower is structurally irreversible: (1) rho has no inverse -- axiom K1 introduces rho but no inverse exists in the signature; (2) refinement is monotone -- alpha_n != alpha_{n+1} for all n >= 1. No backward morphism exists in R.