🧵 Sheaf Gluing Axiom: Local Sections on an Overlapping Cover

Interactive demonstration of the sheaf gluing axiom on the circle S1 covered by 4 overlapping open arcs U1-U4. Each arc carries a slider-controlled local section (value); the canvas draws each local function as a curve over its own extended domain, so overlapping arcs visually coincide when their values agree and visibly diverge when they conflict. A live status readout reports per-overlap agreement/conflict and whether a single global section exists on all of S1, illustrating why non-matching local data is the obstruction sheaf cohomology measures.

2D · HTML5 Canvas 2D · 60 FPS target · runs fully client-side, no install