Just $ A sandbox

プログラミングと計算機科学とかわいさ

世界一わかりやすいモナドの記事

Rは環 Aはアーベル群

 a \in A, r_1, r_2 \in Rとして、

  •  TA = R \otimes A
  •  A \rightarrow R \otimes A \quad \quad : a \mapsto 1 \otimes a
  •  (R \otimes (R \otimes A)) \rightarrow R \otimes A \quad \quad : r_1 \otimes (r_2 \otimes a) \mapsto r_1 r_2 \otimes a

はAbel圏でモナドを定め、T-代数は左加群になる*1

*1:これよりわかりやすい例があれば教えて下さい