これは「今年中にHungerford4章読むぞ Advent Calendar 2021」3日目の記事です。 まだ12/3の28時なのでセーフ！ 今日はTheorem1.15まで読みました。証明？大体アーベル群だから許して 加群の族の直積と直和を定義して、これが圏の積・余積となることを言って…