4
$\begingroup$

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!

Improve this question
$\endgroup$
1
  • 2
    $\begingroup$ See SGA4.V.7, especially Theorem 7.4.1. $\endgroup$
    – Jonathan Wise
    Jan 29, 2013 at 20:58

0

Reset to default

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.