Harvestは小説の題名。Eilenberg)だ。Topology)を研究する中で、関手や自然変換などの圏論の概念を生み出した。everywhere.”と言っている。意訳すると、どこもかしこも随伴関手だらけということだろう。彼の考え方に従えば、殆どのことは随伴関手を用いて記述できるということだ。そこで、今回の記事では、これまでに学んできた普遍性の中からいくつか取り上げて、随伴関手を用いて表すこととしよう。マクレーンは、修士課程までをアメリカで学び、物足りなかったのだろう、当時、世界の最高峰の大学と目されていたドイツのゲッティンゲン大学で博士課程を過ごす。その後、米国に戻り、シカゴ大学教授となる。長生きをし、2005年に95歳で亡くなった。アイレンベルグはポーランド出身、ワルシャワ大学で博士号を修得した後、コロンビア大学の教授となった。彼も長生きしたほうだろう、1998年に84歳で亡くなっている。随伴関手の中で、自然変換が重要な役割をなすので、自然変換の構成について簡単に説明しておこう。自然変換は、関手から関手への射である。自然変化の合成は、関手を介在させた縦方向の合成と圏を介在させた横方向の合成がある。ここでは横方向の合成について考えよう。縦方向については読者の方で考えて欲しい。F’\end{eqnarray}を考えることとしよう。自然変換は、成分ごとに考えればよい。そこで、圏\(\mathcal{A}\)と圏\(\mathcal{B}\)の対象を\(X\)と\(Y\)としよう。(X)\end{eqnarray}となる。(X)\end{eqnarray}である。(X))\end{eqnarray}を得る。これで、自然変換の合成を得ることができたが、それでは、その性質をいくつか調べてみよう。\(\alpha=Id\)の場合を考えてみよう。(X)\)に関手\(G\)を適応させたものであるので、恒等射となる。次に、\(\beta=Id\)の場合を考えてみよう。(X)\end{eqnarray}となる。次回は、随伴関手についての比喩を説明しよう。紅くるりのピクルスとサラダ小春日和のなか、上野寛永寺ゆかりの建造物を訪ねるローマ風、ロマネスコと生ハムのマリネ参加グループ知識リンクはてなブログブログをはじめる週刊はてなブログはてなブログProはてなブログをはじめよう!bitterharvestさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。