Suppose I have a functor f:(C,J)to(D,K)f:(C,J)to(D,K) between Grothendieck sites. Is there a condition on ff such that f!f! (the left adjoint to f∗f∗) sends "JJ-epimorphisms", to KK-epimorphisms, where by JJ-epimorphism I mean:
h:XtoYh:XtoY such that for all CC, and all yinY(C)yinY(C), there exists a cover (gi:CitoC)(gi:CitoC) in JJ and yiinX(Ci)yiinX(Ci) such that for all ii, Y(gi)(y)=h(yi)Y(gi)(y)=h(yi).
EDIT: If X and Y are sheaves, then the notion of "J-epimorphism" coinincides with the categorical epis. As mentioned by David Brown, ANY left adjoint will preserves epis.
In fact, in the situation in which I was interested, I actually have such a (appropriate analogue of a) J-epimorphism between a sheaf and a stack, so, since f_! is a left adjoint, it will preserve this.
No comments:
Post a Comment