Definition:Zero Morphism via Zero Object

From ProofWiki
(Redirected from Definition:Zero Morphism)
Jump to navigation Jump to search

Definition

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


Sources