Registry · Proposition VI.P15 tau-effective planned

VI.P15 — Central Dogma as Morphism Composition

Transcription: τ¹_DNA → (τ¹×T²)_mRNA; Translation: (τ¹×T²)_mRNA → T²_Protein; composition maps temporal storage to spatial expression.

Book VI Part 4 Ch. 27

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: