圏同値
数学、とりわけ圏論において、圏同値（けんどうち、テンプレート:Lang-en-short）とはふたつの圏が「本質的には同じである」という関係のことをいう。 多くの分野で圏同値の例がある。 圏同値を示すことで、対象になっている数学的な構造の間に強い相関関係があることがわかる。 場合によっては、その構造は表面的には無関係に見えるので、圏同値は有用である； つまりある定理を異なる数学的構造の定理に「翻訳」できることがある。
もしある圏が別の圏の双対圏と圏同値ならば、ふたつの圏は双対同値と言い、圏双対について論じることができる。
圏同値は圏の間の「可逆な」関手から成る。 しかしながら代数的な設定の下における同型とは異なり、関手とその「逆関手」の合成が恒等写像である必要はない。 その代わりに各対象が合成の像と自然同型であればよい。 そのため、このことはふたつの関手が「同型を除いて逆関手」であると言われたりする。 実際にテンプレート:仮リンクという概念もあり、こちらは本当に関手が逆関手であることを要求するが、圏同値の概念に比べると実用性を欠く。
定義
形式的には、ふたつの圏 テンプレート:Mvar と テンプレート:Mvar の圏同値はふたつの関手 テンプレート:Math, テンプレート:Math とふたつの自然同型 テンプレート:Math, テンプレート:Math から成る。 ここで テンプレート:Math, テンプレート:Math はそれぞれ テンプレート:Mvar と テンプレート:Mvar の合成を表し、テンプレート:Math, テンプレート:Math は圏 テンプレート:Mvar, テンプレート:Mvar 上の恒等関手を表す。 もし テンプレート:Mvar, テンプレート:Mvar が反変関手のときは、代わりに圏双対と言う。
実際には上のすべての情報が指定されないこともしばしばである。 たとえば、ふたつの圏 テンプレート:Mvar, テンプレート:Mvar の間に圏同値（圏双対）があるときに、圏 テンプレート:Mvar, テンプレート:Mvar は圏同値 （圏双対）であると言ったりする。 さらに逆関手 テンプレート:Mvar や自然同型 テンプレート:Math が存在するときに、関手 テンプレート:Mvar が圏同値であると言ったりもする。 しかし関手 テンプレート:Mvar に関する知識から普通は逆関手 テンプレート:Mvar と自然同型 テンプレート:Math を復元することはできず、いくつもの可能性が残ることがある。
特徴づけ
関手 テンプレート:Math が圏同値を定める必要十分条件は以下の3条件を満たすことである。
- 充満関手
- 任意の テンプレート:Mvar のふたつの対象 テンプレート:Math について、関手 テンプレート:Mvar の誘導する写像 テンプレート:Math は全射
- 忠実関手
- 任意の テンプレート:Mvar のふたつの対象 テンプレート:Math について、関手 テンプレート:Mvar の誘導する写像 テンプレート:Math は単射
- 本質的全射
- 任意の テンプレート:Mvar の対象 テンプレート:Mvar は テンプレート:Mvar のある対象 テンプレート:Mvar の像 テンプレート:Mvar と同型
随伴関手と密接に関連する概念もある。 関手 テンプレート:Math, テンプレート:Math について次の3つの条件は同値である。
- 自然同型 テンプレート:Math, テンプレート:Math が存在する
- テンプレート:Mvar は テンプレート:Mvar の左随伴関手で、ふたつの関手は充満かつ忠実である
- テンプレート:Mvar は テンプレート:Mvar の右随伴関手で、ふたつの関手は充満かつ忠実である
したがってふたつの関手の間の随伴性は「非常に弱い形の同値関係」と見ることもできる。 随伴関手の間の自然変換が与えられているとすると、これらすべての定式化から必要な情報を明示的に構成することができて、どれを選ぶか決める必要がない。 ここで証明しなければならない要となる性質は随伴の counit が同型である必要十分条件が右随伴が充満かつ忠実となることである。
例
- 1つの対象 テンプレート:Mvar と1つの射 テンプレート:Math を持つ圏 テンプレート:Mvar と2つの対象 テンプレート:Math と4つの射 (2つの恒等射 テンプレート:Math と2つの同型射 テンプレート:Math、テンプレート:Math) を持つ圏 テンプレート:Mvar を考える。テンプレート:Mvar, テンプレート:Mvar は圏同値である。たとえば、テンプレート:Mvar を テンプレート:Math に移す関手 テンプレート:Mvar と テンプレート:Mvar のすべての対象を テンプレート:Mvar に移し、すべての射を テンプレート:Math に移す関手 テンプレート:Mvar を取れば良い。
- 一方、1つの対象と1つの射を持つ圏 テンプレート:Mvar と2つの対象と2つの恒等射のみを持つ圏 テンプレート:Mvar は テンプレート:Mvar の2つの対象が同型ではないので、圏同値ではない。
性質
大雑把に述べて圏同値は「圏論的な」すべての概念と性質を保つ。たとえば テンプレート:Math が圏同値のとき次が成り立つ。
- 圏 テンプレート:Mvar の対象 テンプレート:Mvar が始対象（あるいは終対象、零対象）である必要十分条件は圏 テンプレート:Mvar の対象 テンプレート:Math がそうであることである。
- 圏 テンプレート:Mvar の射 テンプレート:Math が単射（あるいは全射、同型射）である必要十分条件は圏 テンプレート:Mvar の射 テンプレート:Math がそうであることである。
- 関手 テンプレート:Math が極限（あるいは余極限) テンプレート:Mvar を持つ必要十分条件は関手 テンプレート:Math が極限（あるいは余極限） テンプレート:Math を持つことである。これは等化子、直積、や直和などにも適用できる。核や余核に適用すれば圏同値 テンプレート:Mvar は完全関手であることがわかる。
- 圏 テンプレート:Mvar がデカルト閉（あるいはトポス）である必要十分条件は圏 テンプレート:Mvar がそうであることである。
双対性はすべての概念を「逆転」させる。始対象は終対象に、単射は全射に、核は余核に、直積は直和になど。
テンプレート:Math を圏同値とし、テンプレート:Math と テンプレート:Math を関手 テンプレート:Mvar の逆とすれば、テンプレート:Math と テンプレート:Math は自然同型である。
テンプレート:Math を圏同値とし、圏 テンプレート:Mvar が前加法圏（あるいはテンプレート:仮リンク、アーベル圏）ならば関手 テンプレート:Mvar が加法的になるようにして圏 テンプレート:Mvar もそうなる。一方、加法的圏の間の圏同値は加法的でなければならない。（最後の主張は前加法圏の間では正しいとは限らない。）
圏 テンプレート:Mvar の自己同値とは圏同値 テンプレート:Math のことである。圏 テンプレート:Mvar の自己同値は自然同型な自己同値を同一視することによって合成に関して群をなす。この群は本質的に圏 テンプレート:Mvar の「対称性」を捉えている。（注意：もし テンプレート:Mvar が小圏でなければ、圏 テンプレート:Mvar の自己同値は集合ではなくクラスをなすかもしれない。）