モノイドの直積は普通に出てくるが、自由積はあまり話題にされない。圏論的には、自由積は余積（直和）となる。ストレージの並列操作を定式化しようとすると、モノイドの自由積が必要になる。SがM加群かつN加群のとき、SにM*N加群構造が自然に定義できる。こ…