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:
“A thousand golden sheaves were lying there,
Shining and still, but not for long to stay—
As if a thousand girls with golden hair
Might rise from where they slept and go away.”
—Edwin Arlington Robinson (1869–1935)
“Knighterrantry is a most chuckleheaded trade, and it is tedious hard work, too, but I begin to see that there is money in it, after all, if you have luck. Not that I would ever engage in it, as a business, for I wouldn’t. No sound and legitimate business can be established on a basis of speculation. A successful whirl in the knighterrantry line—now what is it when you blow away the nonsense and come down to the cold facts? It’s just a corner in pork, that’s all.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)
“Speech and silence. We feel safer with a madman who talks than with one who cannot open his mouth.”
—E.M. Cioran (b. 1911)
“Music sets up ladders,
it makes us invisible,
it sets us apart,
it lets us escape;
but from the visible
there is no escape.”
—Hilda Doolittle (1886–1961)