Sheaves
Warm-upHumanWhich of these presheaves of real-valued functions on are sheaves? (Select all that apply.)
Which of these presheaves of real-valued functions on are sheaves? (Select all that apply.)
How many sections does the sheaf of locally constant -valued functions have over ?
In the sheaf of continuous functions on , which pair of functions has the same germ at ?
On , the morphism is surjective on every stalk. Is surjective?
In the proof that a morphism of sheaves which is bijective on stalks is surjective on sections, local preimages of are glued. Why do and agree on ?
Cover by three open arcs such that each pairwise intersection is a single (connected) arc and the triple intersection is empty. What is ?
Given a cover U : ι → Opens X of V with hU : ∀ i, U i ≤ V and a compatible family s, which conclusion in the definition of IsSheaf captures both locality and gluing?
Sections of the sheaf of all functions on a finite set are dictionaries. Write glue(sections) that takes a list of dictionaries (functions on subsets) and returns the single dictionary on the union that restricts to each of them, or None if two of them disagree on a common point.