Registry · Definition VI.D10 tau-effective planned

VI.D10 — Life Loop Class

Triple (D, γ, h): distinction + metabolic cycle in End_SD(X) + homotopy class. Loop_L is the set of all Life Loops; the categorical structure of metabolism.

Book VI Part 1 Ch. 7

Dependency Graph

Depends on (2)

VI.D04 VI.D08

Depended on by (13)

VI.D15 VI.D16 VI.D17 VI.D18 VI.D19 VI.L03 VI.L13 VI.P11 VI.T05 VI.T06 VI.T09 VI.T19 VI.T40

Lean Formalization

Module: TauLib.BookVI.Sectors.LifeLoop

Symbol: Tau.BookVI.LifeLoop.LifeLoopClass