@maria abelian category でもsnake lemmaって成り立ってくれて、まぁそれも当然でだいたいR加群のなす圏だって思えばいいから。ただ元をとって議論できないから普遍性で射を生やしてやっつけるしかないんだけど、まず連結準同型を構成しなきゃいけない。これはまぁいい感じの完全列を構成して同型だからってことで終わる。次に各部分の完全性だけど、これはabelian category特有の議論でpullbackはエピ射を持ち上げるっていうのがあるから、それとエピモノ分解の一意性を使ってあげれば解決する。Cokの方も双対で片付くから、だいたいこういう議論で証明できる。これを素手でできたらabelian categoryに慣れてきたってことだと思うし、暇なときに手を動かしてやってみるといいかもしれませんね。