Corpus construction_step active 2026-05-27T20:53:50+00:00
Corpus v3 · Construction step cid000055CNS0027activev1

Sheaf coherence, self-enrichment, Yoneda

Finite regularity is still local; the next burden is gluing.

Payload

Finite regularity is still local; the next burden is gluing. The ω-germ presheaf satisfies sheaf coherence because local admissible maps agree on refinement-tail overlaps, so the sheaf gluing axiom pastes them without adding external matching data. This gluing result enables self-enrichment: every hom-object

[A,B]

is itself a τ-object, rather than an external collection of arrows. Yoneda then becomes a theorem of the construction — fully faithful and bipolar-preserving — not an imported embedding choice. This is the decisive handoff to Book III: the construction has now earned internal relational sites, and those hom-object loci are exactly what the physical-carrier problem will use as candidates for E_1 localization.

Identifiers

  • Corpus ID cid000055
  • Primary alias CNS0027
  • Type Construction step
  • Status active
  • Visibility public
  • Version v1

Aliases & legacy IDs

S027

Release lines

corpus_v3_workingcorpus_v2

Relations

Appears in (1)

Version & History

  • v1 · 2026-05-10 imported from v2 construction spine steps 100

Status disclaimer

A Corpus Item page reports the program's current internal record for this item. It does not imply external verification, scientific consensus, or final proof unless explicitly stated. Read it together with its dependencies, formalization status, and the program's overall stance.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert