definition of left (right) Exact Functors Let $P,Q$ be abelian categories and $F:P\to Q$ be an additive functor. Wikipedia states two definitions on left exact functors (right dually):


*

*$F$ is left exact if $0\to A\to B\to C\to 0$ is exact implies $0\to F(A)\to F(B)\to F(C)$ is exact.

*$F$ is left exact if $0\to A\to B\to C$ is exact implies $0\to F(A)\to F(B)\to F(C)$ is exact.


Moreover, it states that these two are equivalent definitions. I'm quite new at this topic so I'm not sure if this is immediately clear or not. Surely, 2. $\implies$ 1., being the more general case. But I don't see how to even approach the other direction; is this merely tautological?

Assume 1. holds. First observe that $F$ preserves monomorphisms: If $i : A \to B$ is a monomorphism, then $0 \to A \xrightarrow{i} B \to \mathrm{coker}(i) \to 0$ is exact, hence also $0 \to F(A) \to F(B) \to F(\mathrm{coker}(i))$ is exact. In particular $F(i)$ is a monomorphism.
Now if $0 \to A \xrightarrow{i} B \xrightarrow{f} C$ is exact, then $0 \to A \xrightarrow{i} B \xrightarrow{f} \mathrm{im}(f) \to 0$ is exact, hence by assumption $0 \to F(A) \to F(B) \to F(\mathrm{im}(f))$ is exact. Since $F(\mathrm{im}(f)) \to F(C)$ is a monomorphism, it follows that also $0 \to F(A) \to F(B) \to F(C)$ is exact. 
