Just $ A sandbox

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

2013-06-26から1日間の記事一覧

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

は環 はアーベル群 , として、 はAbel圏でモナドを定め、T-代数は左加群になる*1。 *1:これよりわかりやすい例があれば教えて下さい