The naming of a functor

55 Views Asked by At

Let $\mathcal C,\mathcal D$ be two Abelian categories, and $T$ be a functor which satisfies

for any objects $A,B$ of $\mathcal C,\mathcal D$ respectively, $T$ induces an isomorphism $\operatorname{Hom} (A,B) \cong \operatorname{Hom} (TA,TB)$.

Then, is there a special name for such $T$?

Thanks to everyone.

1

There are 1 best solutions below

1
On BEST ANSWER

$T$ is called additive if the map $\mathrm{Hom}(A,B)\to \mathrm{Hom}(TA,TB)$ is a group homomorphism. $T$ is called fully faithful if the map $\mathrm{Hom}(A,B)\to \mathrm{Hom}(TA,TB)$ is a bijection. So I would call such a functor a fully faithful additive functor.