additive functor preserves chain homotopies

Let be abelian categories, an additive functor and the categories of chain complexes Let be the induced functor on chain complexes.

Then preserves chain homotopies

Let be chain maps

with

and

Then by applying additivity of the functor, we get