可換モノイド
from 『圏論の道案内』
commutative monoid
モノイドであり、射の合成が可換
射$ f,gに対して$ f\circ g=g\circ fが成り立つ
射の合成に順序が関係ない
可換モノイドの圏CMon