18/12/17 23:23:35.70 vPN/J1lJ.net
>>103
つづき
様々な問題の定式化
数学者は一般的には完全な随伴関手の概念を必要としているわけではない。彼らの解こうとしている問題にあっているかや証明に必要かどうかで必要な概念かどうかを判定している。圏論の初期段階である1950年代にはこれらの動機に大きく引っ張られていた。
アレクサンドル・グロタンディークの時代になって、圏論は他の仕事における指針として使われるようになった。はじめは関数解析とホモロジー代数であり最終的には代数幾何で使用された。
彼が随伴関手の概念を分離したというのはおそらく誤っているといえるが、随伴の特別な役割についてグロタンディーク固有の認識はあった。例えば、彼の著名な業績のひとつに、相対型のセール双対性、くだいていうと、代数多様体の連続な族に関するセール双対性がある。
この証明の全体は結局のところある関手の右随伴が存在するかということになる。これは完全に抽象的で非構成的であるが、それなりに強力でもある。
半順序集合
2つの半順序集合の間の随伴関手対はガロア接続と呼ばれる(そして、反変の場合は、antitoneガロア接続である)。ガロア接続の記事に多くの例がある。とくにガロア理論が一番の例である。任意のガロア接続は閉包作用素や対応する閉じた要素間の逆順序を保存する全単射に持ち上げることが出来る。
ガロア群の場合と同様に、実際の興味はしばしば双対との対応(例えば、antitone順序の同型)を詳細化していくことにある。Kaplanskyよるこのガロア理論の捕らえ方は、ここに一般的な構造があることへの認識に影響を与えた。
つづく