登場人物は monoid monoid の圈 monoidal 圈 monoid 對象の圈 monad である。 TL;DR monoid は集合上の結合律と單位律とを滿たす演算である monoid の圈 は monoid と monoid 準同型との成す圈である monoidal 圈 は對象の間に自然同型の違ひを除いて monoid…