Registry · Remark IV.R200 tau-effective not_applicable

IV.R200 — The tower is the fundamental object

The refinement tower R is the primary ontological object; individual levels alpha_n are projections, not building blocks. Just as a category is not a collection of objects but a coherent structure, the tower is a single directed entity whose levels are partial views.

Book IV Part 1 Ch. 3

Lean Formalization

Module: