Definition:Zero Morphism via Zero Object

From ProofWiki
Jump to navigation Jump to search


Let $C$ be a category which has a zero object $0$.

Let $a,b\in C$ be objects.

The zero morphism $0$ from $a$ to $b$ is the composition of the unique morphism $a \to 0$ and the unique morphism $0 \to b$:

$0 : a \to 0 \to b$

Also see