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

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?


share|cite|improve this question
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
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


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

Browse other questions tagged or ask your own question.