I am currently trying to understand a proof of the Five lemma. For reference, the Five lemma is as follows:
In an abelian category, consider the commutative diagram
$A \longrightarrow B \longrightarrow C \longrightarrow D \longrightarrow E$
$\downarrow \,\,\,\,\,\,\,\,\,\,\,\,\, \downarrow \,\,\,\,\,\,\,\,\,\,\,\,\, \downarrow \,\,\,\,\,\,\,\,\,\,\,\, \downarrow \,\,\,\,\,\,\,\,\,\,\,\, \downarrow $
$A' \rightarrow\,\, B' \rightarrow\,\, C' \rightarrow\,\, D' \rightarrow\, E'$
with exact rows (in the category theoretic sense), the left vertical arrow epic, the right vertical arrow monic, and the second and fourth vertical arrows isomorphisms. Then the central vertical arrow is also an isomorphism.
(You'll have to forgive my diagram, and the one that follows - I couldn't figure out how to TeX a proper commutative diagram. If anyone would care to replace my horrible ad-hoc solution with a properly formatted one then please go ahead.)
Now the proof I have starts as follows:
We write out the image factorisation of all the horizontal maps.
$A \longrightarrow I_1 \longrightarrow B \longrightarrow I_2 \longrightarrow C \longrightarrow I_3 \longrightarrow D \longrightarrow I_4 \longrightarrow E$
$\downarrow \,\,\,\,\,\,\,\,\,\,\,\,\, \downarrow \,\,\,\,\,\,\,\,\,\,\,\,\, \downarrow \,\,\,\,\,\,\,\,\,\,\,\,\, \downarrow \,\,\,\,\,\,\,\,\,\,\,\,\, \downarrow \,\,\,\,\,\,\,\,\,\,\,\, \downarrow \,\,\,\,\,\,\,\,\,\,\,\,\, \downarrow \,\,\,\,\,\,\,\,\,\,\,\,\downarrow \,\,\,\,\,\,\,\,\,\,\,\,\,\, \downarrow$
$A' \rightarrow\,\, I_1' \rightarrow\,\, B' \rightarrow\,\, I_2' \rightarrow\,\, C' \rightarrow\,\, I_3' \rightarrow\, D' \rightarrow\, I_4' \rightarrow\,\, E'$
Then $I_1 \to I_1'$ and $I_4$ to $I_4'$ are epic and monomorphic, therefore isomorphic. Could anyone explain why these maps are epic and monomorphic? It's probably something to do with the image factorisation, but since we're only factorising horizontally I don't see how we can say much about the vertical maps. The horozontal arrows also have some mono/epimorphism adornments (alternating mono/epi), but again I'm afraid I'm not sure how to TeX them. Your explanations would be greatly appreciated - thanks.