Paper 5:NTLA-O IV:局部—全域觀察、Presheaf、Sheaf、Stalk 與 Descent

Local-to-Global Observation — Presheaves, Sheaves, Stalks, Germs, and Descent

NTLA-O 系列第 5 篇。把內部觀察者表示為 observer topology 上開集的局部 section,對每個開集定義合法局部觀察狀態集合與限制映射。研究何時不同局部觀察者的資料能相容黏合成全域狀態(sheaf 條件),以及黏合失敗時的全域重建障礙(descent obstruction)。