A sheaf on a topological space $ X $ can be defined as a presheaf $ F: \text{Open}(X)^{\text{op}} \to \mathbf{Set} $ such that for any open covering $ { U_i } $ $ (i \in I) $ of an open set $ U $, the …