Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Given a functor $F:A\to B$ of abelian categories we may say that $F$ is left exact if it maps exact sequences to left exact sequences, and similarily for right. For arbitrary categories, we may say that $F$ is left exact if it preserves finite limits (supposedly, this was introduced in SGAIV, but I don't have it). The question is thus: are these definitions equivalent in an abelian category? That this latter definition implies the first is clear to me, but the other gives me more trouble.

Thanks,

Eivind

share|improve this question

1 Answer 1

up vote 2 down vote accepted

Yes. $F$ is exact in the first sense if it maps left exact sequences to left exact sequences (this is an easy exercise). So $F$ is exact in the first sense iff it preserves kernels. But an additive functor that preserves kernels preserves all finite limits (because any finite limit can be built from a product of direct products and equalizers, and finite direct products are always preserved by an additive functor).

share|improve this answer
    
Thanks a lot! I suspected it would have something to do with building the limit from products and equalizers. That fact will probably prove a good exercise :) –  Eivind Dahl Apr 3 '11 at 14:56

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.