= Solution
A <complex in an abelian category> is a sequence $(A_n,d_n)$ with $d_nd_{n+1}=0$. A sequence is <exact sequence in an abelian category>[exact] when the image of every incoming map equals the kernel of the outgoing map.
The <Five lemma> says that in a morphism between exact five-term sequences, suitable epimorphism assumptions on the left and monomorphism assumptions on the right, together with isomorphisms in the four surrounding positions, force the middle map to be an isomorphism.
The <Snake lemma> associates to a morphism of short exact sequences the exact sequence
$$
\ker f'\to\ker f\to\ker f''
\xrightarrow{\partial}
\operatorname{coker}f'\to\operatorname{coker}f\to\operatorname{coker}f''.
$$
Back to article page
