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

For a presheaf $F$ on a category equipped with a pretopology, one has the sheafification $F^{\sharp}$ of $F$.

I know well the plus-construction of sheafification, which is presented in Artin's paper "Grothendieck Topologies", for example.

QUESTION

I have heard that there is another construction of sheafification by using hypercovering, but I can not find good explanation of it.

So, I want some examples to feel the essence of the construction.

In particular, I am interested in the following situation:

Let $C$ be a category with a pretopology $T$.

For an object $X \in C$, denote by $F_{X}$ the presheaf on $C$ represented by $X$ i.e. $F_{X}=Hom_{C}(-,X)$.

Now, let $X_{\bullet} \to X$ be a $T$-hypercover of $X \in C$.

Then, how can the sheafification of $F_{X}$ be written by using $F_{X_{\bullet}}$ ?

share|improve this question
2  
You have to look at all hypercovers, not just one of them. Related question: mathoverflow.net/questions/90969/sheafification-via-hypercovers –  Mike Shulman Jan 13 '13 at 18:11
add comment

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.