The question is: Prove that an equivalence between two additive categories is an additive functor.
By an additive category I mean a category with zero object, that every Hom-set of morphisms is a abelian group for sum, bilinear and every pair of objects have products.
Is this statement also true for adjoint functors?
Yes this is true. Specifically:
Proposition. Let $L:\mathcal B\to\mathcal A$ be left adjoint to $R:\mathcal A\to\mathcal B$ where $\mathcal A$ and $\mathcal B$ are additive categories. Then $L$ and $R$ are additive.
Proof. Recall that $F:\mathcal A\to\mathcal B$ is additive if and only if $F$ preserves binary products (prove this!). But $R$ is right adjoint so $R$ preserves limits. In particular, $R$ preserves binary products.
Proving $L$ is additive is similar once combined with the observation that binary products coincide with binary coproducts in an additive category. $\Box$
Of course, if you don't like using continuity properties of adjoint functors, you could directly prove the proposition. This is a nice exercise too.
Side-note. This is a useful result in geometry as a morphism $f:X\to Y$ of spaces defines functors $\DeclareMathOperator{Sh}{Sh}$ \begin{align*} f_* &:\Sh(X)\to\Sh(Y) \\ f^{-1} &: \Sh(Y)\to\Sh(X) \end{align*} One shows that $f^{-1}$ is left adjoint to $f_*$ and the above ensures the additivity of both.
In fact, one may further prove that right adjoint functors between abelian categories are left exact and left adjoint functors between abelian categories are right exact.
