Registry · Definition III.D03 tau-effective formalized

III.D03 — E₁ as Gluing Principle

Self-enrichment (E₁) is precisely the statement that local Hartogs bulk projections glue globally. Morphisms between local patches carry the same split-complex bipolar structure as the patches themselves. Physics IS E₁ — the phenomenon of local spatial structures gluing into a globally coherent space.

Book III Part 0 Ch. 2

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIII.Prologue.HartogsBulk

Symbol: e1_gluing_check