2010/8/27 訂正 アーベル圏を定義する際の核と余核の定義が逆になっていました. p74,75の定義以降は訂正した方の定義に従って読んでください. 申し訳ありません... (見つけてくださった東京大学の本田大悟様, ありがとうございました. )