Page 1 of 1

Category Theory for beginners (6)

Posted: Sat Jan 16, 2016 11:24 pm
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 \)).