MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Hi all:

I was reading a proof that localization of categories preserves additivity. In the proof the author uses a statement:

If $X$ is an object in a preadditive category $C$ and ${End}_C(X) = \{0_X\}$ then $X$ is the zero object in $C$.

I know that the statement is true when $C$ is an additive category, but I'm not quite sure if it's true for preadditive category.

To be precise, I traced back to the very definition of a zero object, that is, both initial and terminal. However, the condition in the statement only suggests the uniqueness of morphism $X\rightarrow Y$ for any object $Y\in \text{ob}C$, I don't see why such a morphism should exist.

Any suggestions or reference? Thanks.

share|cite|improve this question
For those who wonder what ends have to do with anything here, $End_C(X)$ means "endomorphisms on $X$". – Andrej Bauer Jan 23 '13 at 9:16

In principle $\textrm{End}(X)$ could have two elements, $\textrm{id}_X$ and $0_X$. If it has only one element, then $\textrm{id}_X = 0_X$, so for all $f : X \to Y$, $f = f \circ \textrm{id}_X = f \circ 0_X = 0$. Similarly, for all $g : Z \to X$, $g = \textrm{id}_X \circ g = 0_X \circ g = 0$. Thus $X$ is both initial and terminal. This argument works in any category with a reasonable notion of zero morphism, not just preadditive categories.

share|cite|improve this answer
Yes, if there's a morphism $X\rightarrow Y$ (or $Z\rightarrow X$), it must be unique. But I was wondering how do we know such a morphism exist? – CJ L Jan 23 '13 at 9:03
Ah I just figured out. It exists since $\text{Hom}_C(X,Y)$ is an abelian group and hence non-empty. – CJ L Jan 23 '13 at 9:11
This argument works for any category enriched over pointed sets (which is another way to say "has zero morphisms"). Note that this is a property of a category and not a structure. The upshot is that $0 = \text{id}$ is a purely "algebraic" condition and is therefore preserved by arbitrary enriched functors. See… for a discussion. – Qiaochu Yuan Jan 23 '13 at 9:40

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.