CAT}`$でしたが、モナドの変換子になるとは言ってません。モナドの変換子にしたいなら、以下の可換図式の疑問符の部分を埋めなくてはなりません。S)^S`$となります(上の可換図式の条件から)。モノイド演算になるように決めてあげればいいわけです。構成する方法は、しばらくモニョモニョすれば見当が付くでしょう。実際にモナドになること(モナド法則)の確認。が関手性を持つことを示す。いつものことですが、あまり面白くない計算を愚直にするしかありません。僕は気力が切れたのでここまでにしておきます。*2:大きい集合、あるいは非常に大きい集合のあいだの写像です。1はてなブログをはじめよう!m-hiyamaさんは、はてなブログを使っています。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。