Let ${\bf C}$ be a category with zero morphisms, i.e., for each $X,Y\in {\bf C}$, there is a morphism $0_{XY}:X\rightarrow Y$ satisfying certain properties ($0_{XY}$ composes with every morphism from $Y$ or to $X$ to give another such). According to Wikipedia, "the collection of $0_{XY}$ is unique." Does it mean that given $X,Y\in{\bf C}$, there can be only one morphism that we can use as $0_{XY}$? When defining kernel and cokernel, one uses these morphisms $0_{XY}$, so it appears as though kernel and cokernel depends on a particular choice of the family of $0_{XY}$, which is very unpleasant.

up vote 6 down vote accepted

Yes. The idea is the same as the proof of the uniqueness of identities in a monoid. If $f_{X, Y} : X \to Y$ is a family of zero morphisms and $g_{X, Y} : X \to Y$ is another family of zero morphisms, then

$$f_{Y, Z} \circ g_{X, Y} = g_{X, Z} = f_{X, Z}$$

for every triple of objects $X, Y, Z$.

Zero morphism in a category $\mathcal C$ with Zero object $O$ from an object $A$ to $B$ which factors through zero object,that is the following diagram hold:

$A\rightarrow O \to B$

Note that this factorization is unique as $O$ is both intial and terminal object.So zero morphism from an object $A$ to $B$ is unique.

Your Answer

 

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

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