アーベル圏の基本的な性質

　今回はアーベル圏の基本的な性質を図式をたくさん使いまとめました。

完備性と余完備性、準同型定理、完全性を中心にまとめてみました。アーベル圏の定義は様々で、加法圏などを使って定義するものもありますが、今回は「層とホモロジー代数」の定義を採用してみました。

　９月２５日に京都大学で行われる月１圏論ゼミの発表原稿の４分の１だったりします（笑）

　だいぶアーベル圏に慣れたのでミッチェルの埋め込み定理を示したり、圏論の技法を読んだり、アーベル圏上でホモロジー代数をしたいなぁなんて考えています。