概要 自然変換の垂直合成、関手との合成がわかった結果 モナドは自己関手の圏 (で自然変換を射、関手の合成を演算と見た場合) におけるモノイド対象 だと言葉の意味を理解した。「自己関手の圏って言ったら射、演算は決まりきっているだろう」と言われたらそ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。