Registry · Theorem
II.T55
tau-effective
formalized
II.T55 — H⁰ = Global Sections
H⁰ equals the space of global sections. For the constant sheaf, a 0-cochain is a global section iff it is constant. Non-constant functions have nonzero coboundary.
Book II
Part 9
Ch. 50