Registry · Definition VI.D83 tau-effective not_formalized

VI.D83 — Waddington Landscape

Refinement tower (0,D_0) -> ... -> (k,D_k) with defect functional surface; active gene count non-increasing; valleys = stable cell types, ridges = barriers between fates.

Book VI Part 6 Ch. 35

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module:

Symbol: