圏\(\mathcal{C}\)の対象\(A’\)の任意の要素\(n’\)は、圏\(\mathcal{C}\)の一つの要素\(Nothing\)から成り立っている対象に写像されるものとしよう。\(R(A’)=\{Nothing\}\)である。圏\(\mathcal{C}\)と圏\(\mathcal{D}\)の関係を表すと図のようになる。この図から対応関係を詳細に検討してみると、二つの圏が随伴となっていることが分かる。詳しい説明は省くが、\(\mathcal{C}\)には、対象として\(A\)と\(A'\)と\(L(B)\)がある。\(\mathcal{D}\)には、対象として\(B\)と\(R(A)\)と\(R(A')\)とがある。\(\mathcal{C}\)と\(\mathcal{D}\)からそれぞれ任意に一つの対象を取り出し、これを\(X\)と\(Y\)とする。このとき、\(L(Y)\)から\(X\)への射の集合と\(Y\)から\(R(X)\)への射の集合とが1対1の関係にあることを示せばよい。\)が成り立つことを示せばよい。証明は省くが成り立つので、ダイアモンド教授の提案は正しいことが分かり、Amazonでのレビューでの懸念は必要ないこととなる。ダイアモンド教授は、明治維新をもたらした具体的な対応がどの要因に相当するかを示しているが、それをまとめたのが次である。対応を分析すると面白いと思うが、それについては次の機会ということにしたい。極限と双対の関係にあるのが、余極限である。紅くるりのピクルスとサラダ小春日和のなか、上野寛永寺ゆかりの建造物を訪ねるローマ風、ロマネスコと生ハムのマリネ参加グループ知識リンクはてなブログブログをはじめる週刊はてなブログはてなブログProはてなブログをはじめよう!bitterharvestさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。