# Faithfulness of derived functor.

Let $F:{\cal A}\to {\cal B}$ be an additive, exact and faithful functor between abelian categories. Then on the level of complexes, $F$ maps quasi-isomorphisms to quasi-isomorphisms and thus induces a functor on the derived categories $DF:D({\cal A})\to D({\cal B})$.

Is it true that $DF$ is faithful? Likewise for the usual categories of bounded complexes. If not, are there extra conditions that guarantee faithfulness?

-

$$A-Mod \rightarrow k-vect$$
from the category of representations of a k-algebra $A$ to vectorspaces. It is exact faithful, but its derived functor will only be faithful if the algebra is semi-simple, since there are no Ext between vector spaces. For a concrete example take $A=k[x]$.
More philosophically, I think of an exact faithful functor as a functor which forgets some additional structure. The question whether $DF$ is faithful is the question whether there are no new extensions coming from the additional structure. This will rarely be the case.