generated at
可換モノイド
from 『圏論の道案内』

commutative monoid
モノイドであり、射の合成が可換
射f,gに対してf\circ g=g\circ fが成り立つ
射の合成に順序が関係ない



可換モノイドの圏CMon