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

Hi,

The following result seems to be well known, but I can't come up with a proof.

Suppose that $C$ is a topos and that $F\to G$ is an effective epimorphism in $C$. If $P$ is any abelian sheaf on $C$, then the object $RHom(G,P)$ is computed by the bicomplex $$ RHom(F,P)\to RHom(F\times_G F,P)\to RHom(F\times_G F\times_G F, P)\to \dots $$

Any ideas? Thanks!

share|improve this question
2  
See SGA4.V.7, especially Theorem 7.4.1. –  Jonathan Wise Jan 29 '13 at 20:58
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.