Sheaves On A Basis of Open Sets
In some categories, it is possible to construct a sheaf by specifying only some of its sections. Specifically, let X be a topological space with basis {Bi}i∈I. We can define a category O ′(X) to be the full subcategory of O(X) whose objects are the {Bi}. A B-sheaf on X with values in C is a contravariant functor
- F: O ′(X) → C
which satisfies the gluing axiom for sets in O ′(X). We would like to recover the values of F on the other objects of O(X).
To do this, note that for each open set U, we can find a collection {Bj}j∈J whose union is U. Categorically speaking, U is the colimit of the {Bj}j∈J. Since F is contravariant, we define F(U) to be the limit of the {F(B)}j∈J. (Here we must assume that this limit exists in C.) It can be shown that this new object agrees with the old F on each basic open set, and that it is a sheaf.
Read more about this topic: Gluing Axiom
Famous quotes containing the words sheaves, basis, open and/or sets:
“Being young you have not known
The fool’s triumph, nor yet
Love lost as soon as won,
Nor the best labourer dead
And all the sheaves to bind.”
—William Butler Yeats (1865–1939)
“Adolescents, for all their self-involvement, are emerging from the self-centeredness of childhood. Their perception of other people has more depth. They are better equipped at appreciating others’ reasons for action, or the basis of others’ emotions. But this maturity functions in a piecemeal fashion. They show more understanding of their friends, but not of their teachers.”
—Terri Apter (20th century)
“Is encouragement what the poet needs? Open question. Maybe he needs discouragement. In fact, quite a few of them need more discouragement, the most discouragement possible.”
—Robert Fitzgerald (1910–1985)
“Eddie did not die. He is no longer on Channel 4, and our sets are tuned to Channel 4; he’s on Channel 7, but he’s still broadcasting. Physical incarnation is highly overrated; it is one corner of universal possibility.”
—Marianne Williamson (b. 1953)