(保存用) 檜山正幸のキマイラ飼育記 メモ編

記事とコメントのインポート完了。 インポートページ ログイン - はてな 記法： コ/モナド ： モナドまたはコモナド A∨ : 上付きのチェックマーク（のつもり）は、文字修飾子。使い途はボールドなどと同じ。Aに対する演算子ではない。コモナドを表す文字・語への文字修飾に使う。 ベックの分配系は4種類あって、 モナド・モナド分配系 (M, A, δ) コモナド・コモナド分配系 (M∨, A∨, δ) コモナド・モナド分配系 (M∨, A, δ) モナド・コモナド分配系 (M, A∨, δ) 3,4番の分配系を混合分配系と呼ぶ。1,2番は非混合分配系〈unmixed distributive system〉。 分配系の一番目の構成素（コ/モナド）に対して、そのアイレンベルク／ムーア圏を作る。二番目の構成素（コ/モナド）は、そのアイレンベルク／ムーア圏上のコ/モナドに持ち上がる。Yを二番目のコ/