\(\sqcup\)は直和である)。s^{op}\)への射が存在することは明らかである。従って、\(Op\)は余錐である。これにより、\(Op\)は余極限を有するので、次の可換図式を得る。このように、\(Reader\)とその双対である\(Op\)は、圏論での積と余積であり、それぞれ極限と余極限を有することが分かる。Haskellでは、\(Op\)を\(MonadReader\)と呼ばれるモナドとして定義されている。\(ask\)という関数が、環境変数の値を呼び出すために用意されている。紅くるりのピクルスとサラダ小春日和のなか、上野寛永寺ゆかりの建造物を訪ねるローマ風、ロマネスコと生ハムのマリネ参加グループ知識リンクはてなブログブログをはじめる週刊はてなブログはてなブログProはてなブログをはじめよう!bitterharvestさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。