Registry · Remark II.R37 tau-effective not_applicable

II.R37 — Shadow Families in SCV

Tower families in the dimensional ladder project to shadow families via the shadow functor. These projections preserve cohomological data while forgetting finite-stage detail, connecting SCV collapse to classical manifold geometry.

Book II Part 11 Ch. 65

Dependency Graph

Depends on (2)

Lean Formalization

Module:

Symbol: