Registry · Definition VI.D48 tau-effective planned

VI.D48 — Multicellularity as Colimit

Multicellular organism M = colim D where D is diagram of cells with adhesion (cadherins/integrins) and communication (gap junctions/signals) morphisms.

Book VI Part 6 Ch. 35

Dependency Graph

Depended on by (1)

Lean Formalization

Module:

Symbol: