逆向きにたどるアーベル圏

1. ホモロジー代数をやりたい
2. 完全列とその操作が必要
3. 準同型定理
4. Coim と Im が必要
5. kerとcokerから定義される
6. ker/cokerには、引き算、零射が必要
7. 引き算と零は足し算がないと意味持たない
8. 零はもちろん、足し算と符号反転も必要

となると、やっぱり軸となるのは「準同型定理」と「足し算、零、反転」。