モノイドの自由積は重要だ、なのに、、、

モノイドの直積は普通に出てくるが、自由積はあまり話題にされない。圏論的には、自由積は余積（直和）となる。ストレージの並列操作を定式化しようとすると、モノイドの自由積が必要になる。

SがM加群かつN加群のとき、SにM*N加群構造が自然に定義できる。この加群構造が並列操作を議論する枠組みになる。ゼロ（吸収元）があるとき、自由積を潰して作った積（平坦積？）が排他性とかの記述に使えると思う。