Tuesday, 17 April 2007

ct.category theory - When does the left-adjoint to a geometric morphism preserve epis?

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