Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Hi there, I'm trying to sheafify a constant presheaf on a site, I went to http://ncatlab.org/nlab/show/sheafification, but can't understand the notation in the equation for W (in the proof for existence)

W = {S(U_i) := lim... }.

Can anyone help me figure out the notation? With respect to what is the limit taken? I'm still trying to figure out the whole sheafification process but so far I have like 2 or 3 books on the subject and none of them has been exactly helpful or straightforward for my liking, I need this result for a proof I'm working on and am not exactly an expert in Topos theory, I just need this result, hope you guys can help.

share|improve this question
I (sort of) cross-posted this on the nForum for you: math.ntnu.no/~stacey/Mathforge/nForum/… as that's the discussion forum for the nLab. –  Loop Space Jul 26 '11 at 14:47
Thank you Andrew –  Mario Carrasco Jul 29 '11 at 18:37

1 Answer 1

up vote 5 down vote accepted

The $\lim_\to$ in that formula denotes the colimit over that diagram of two parallel morphisms right after it. So it's the coequalizer of these two morphisms. This is just a very explicit way (or maybe a very implicit way? :-) to write out the sieve that corresponds to a given cover in the site (it's the presheaf that sends any test object to the set of ways of homming that test object into the object being covered that factor through the cover)

As the text around the formula meant to indicate (I have now tried to clarify this further in the entry) the details for this are discussed (in quite some pedestrian detail, I think) at the entry on sieves


and that on sheaves


Probably such questions on nLab entries are best posted (and most welcome) over at the nForum


share|improve this answer
Great, thanks Urs –  Mario Carrasco Jul 29 '11 at 18:37

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.