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)
““The Love that dare not speak its name” in this century is such a great affection of an elder for a younger man as there was between David and Jonathan, such as Plato made the very basis of his philosophy, and such as you find in the sonnets of Michelangelo and Shakespeare. It is that deep, spiritual affection that is as pure as it is perfect.... It is in this century misunderstood ... and on account of it I am placed where I am now.”
—Oscar Wilde (1854–1900)
“What I mean by the Muse is that unimpeded clearness of the intuitive powers, which a perfectly truthful adherence to every admonition of the higher instincts would bring to a finely organized human being.... Should these faculties have free play, I believe they will open new, deeper and purer sources of joyous inspiration than have yet refreshed the earth.”
—Margaret Fuller (1810–1850)
“Drink, sir, is a great provoker of three things ... nose-painting, sleep, and urine. Lechery, sir, it provokes and unprovokes: it provokes the desire but it takes away the performance. Therefore much drink may be said to be an equivocator with lechery: it makes him and it mars him; it sets him on and it takes him off.”
—William Shakespeare (1564–1616)