m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 檜山用メモ 昨日の記事「一般化クライスリ構成を探して」の補足。一般化クライスリ構成でやりたいことは、2つの自己関手F, Gを使って「射」の概念を拡張することです。A→B から F(A)→G(B) に拡張するわけですね。当初僕は、このような (F, G) を両モナドと呼んでいました。 「両モナド」で日記内検索 なぜかと言うと、Fがコモナド（余モナド）(F, ν, ε) で、Gがモナド (G, μ, η) のケースを考えていたからです。FとGがまったく無関係だとクライスリ結合がうまく定義できないので、σ::FG⇒GF という自然変換があって、これによりベックの分配法則（と類似の法則）が成り立つことを仮定してま… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20120822%2F1345604958" 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-08-22 12:09:18 rich https://m-hiyama.hatenablog.com/entry/20120822/1345604958 1.0 100%