Suppose I have a functor f:(C,J)to(D,K) between Grothendieck sites. Is there a condition on f such that f! (the left adjoint to f∗) sends "J-epimorphisms", to K-epimorphisms, where by J-epimorphism I mean:
h:XtoY such that for all C, and all yinY(C), there exists a cover (gi:CitoC) in J and yiinX(Ci) such that for all i, 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