Suppose I have a functor between Grothendieck sites. Is there a condition on such that (the left adjoint to ) sends "-epimorphisms", to -epimorphisms, where by -epimorphism I mean:
such that for all , and all , there exists a cover in and such that for all , .
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