MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

After digesting the Presheaf definition by the very first time, one feels (at least I felt) a strange sensation noticing the existence and uniqueness conditions to graduate that Presheaf as a sheaf, but although some "natural" examples are given to show that the existence condition is not garanted (bounded functions is the canonical one), all examples that I occur are bizarre and absolutely unnatural, in the text books I've seen I found nothing.

So the question is: Is there some "interesting" and/or "natural" Presheaf (I mean a Presheaf useful for something at least pedagogically) which supports existence and fails only the uniqueness condition?

Thanks

share|cite|improve this question
1  
The answer, of course, depends on which presheaves you count as natural or non-pathological. If you're only willing to consider presheaves F on X of the type "F(U) = {functions on X satisfying some condition}" then you're always going to have uniqueness. – Tom Leinster Nov 16 '12 at 3:52
1  
Well, all "natural" presheafs are presheafs of functions, for which uniqueness is automatic. However, the presheaf quotient of a sheaf by a subpresheaf need not satisfy uniqueness. For example, consider at the presheaf quotient of the sheaf of locally constant functions on a space by the subpresheaf of constant functions. – anon Nov 16 '12 at 3:54

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.