Page 1 of 1

Elementary Category Theory - 2

Posted: Fri Nov 13, 2015 12:40 am
by Tsakanikas Nickos
Suppose that \( \mathcal{C} \) is a category with a zero object. Suppose that the morphism \( a \) is the kernel of a morphism \( \displaystyle \gamma : X \longrightarrow Y \). Show that if coker(\( a \)) exists, then \( a = \) ker(coker \( a \)).