「前加法圏」の版間の差分

前加法圏のもっとも明らかな例は圏'''Ab'''自身である。より詳しくいうと、'''Ab'''は[[閉モノイダル圏]]である。注意すべきは[[可換性]]が重要な意味を持つことで、これにより群の準同型の和が準同型になることが保証される。対照的に、全ての群からなる圏は閉じていない。{{仮リンク|[[中可換圏|en|medial category}}]]を見よ。