Exact functor

In homological algebra, an exact functor is a functor that preserves exact sequences. Exact functors are convenient for algebraic calculations because they can be directly applied to presentations of objects. Much of the work in homological algebra is designed to cope with functors that fail to be exact, but in ways that can still be controlled. In homological algebra, an exact functor is a functor that preserves exact sequences. Exact functors are convenient for algebraic calculations because they can be directly applied to presentations of objects. Much of the work in homological algebra is designed to cope with functors that fail to be exact, but in ways that can still be controlled. Let P and Q be abelian categories, and let F: P→Q be a covariant additive functor (so that, in particular, F(0)=0).Let be a short exact sequence of objects in P. We say that F is If G is a contravariant additive functor from P to Q, we can make a similar set of definitions. We say that G is It is not always necessary to start with an entire short exact sequence 0→A→B→C→0 to have some exactness preserved; it is only necessary that part of the sequence is exact. The following statements are equivalent to the definitions above: Note, that this does not work for half-exactness. The corresponding condition already implies exactness, since you can apply it to exact sequences of the form 0→A→B→C and A→B→C→0. Thus we get: Every equivalence or duality of abelian categories is exact. The most basic examples of left exact functors are the Hom functors: if A is an abelian category and A is an object of A, then FA(X) = HomA(A,X) defines a covariant left-exact functor from A to the category Ab of abelian groups. The functor FA is exact if and only if A is projective. The functor GA(X) = HomA(X,A) is a contravariant left-exact functor; it is exact if and only if A is injective.