I.X02 — Earned Category and Topos

Earned arrows from program monoid -> composition -> functors -> limits -> Omega_tau -> sites -> countable topos. Category theory constructed, not imported.