m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 直積と直和を持つ圏Cで、対象Aを固定して、λX∈Obj(C).(A×X)、λf∈Mor(C).(A×f) とするとCの自己関手を定義できます。A×f と書いたときのAはidAの意味だとしています。対象も射も表す変数xを導入して、λx∈C.(A×x) とすると簡略に書けます。M = (M, m, e) が（記号の乱用を許して）C内のモノイドのとき、F := λx∈C.(M×x) とすると、Fは C→C という自己関手になります。Mの乗法と単位を利用して自然変換 μ、η を適切に定義すれば F := (F, μ, η) は（ここでも記号の乱用をして）モナドになります。同様に、対象Eに対して G :… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20120616%2F1339840216" title="メイヤー代数と一般化クライスリ構成 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-06-16 18:50:16 rich https://m-hiyama.hatenablog.com/entry/20120616/1339840216 1.0 100%