If I define an additive functor to be a functor on abelian categories such that the action of F on Hom(A,B) is a group homomorphism, do I necessarily have that F(zero object) = zero object?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
1
1
|
|
||||||||
|
|
3
|
Since the OP asked for a detailed answer: Let $A$ be an object of an abelian (or additive) category. Then $A$ is a zero object if and only if the zero endomorphism is the identity endomorphism (and then $Hom(A,A)$ is the zero ring). If $F$ is any functor, it sends the identity morphism of $A$ to the identity morphism of $F(A)$. If in addition $F$ is additive (no pun intended), it also sends the zero morphism to the zero morphism. Thus $F(0)$ is a zero object. Another exercise in the similar spirit: show that additive functor is additive on objects: it sends finite direct sums to direct sums. (Your question is the particular case of empty direct sum.) |
||
|
|
