Steve Awodey の Category Theory を読む シリーズトップ 3.2 Coproducts Example 3.5 Example 3.6 Example 3.9 Example 3.10 Proposition 3.11 3.4 Coequalizers Example 3.20 参考書籍 3.2 Coproducts Example 3.5 \[ M(A) + M(B) \cong M(A + B) \] を の…