セグメント木の上に乗る構造はモノイドではなく圏