Monoids with indexes added at both ends are also monoids

• data[i] = (l, r, value)

• (l1,r1,v1) op (l2,r2,v2) = (l1,r2,v1*v2)

• and then Monoids with indexes added at both ends are also monoids.

  • twitter @maspy_stars monoid

---

This page is auto-translated from /nishio/モノイドに両端のインデックスを追加したものもモノイド using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I’m very happy to spread my thought to non-Japanese readers.