圏同値

数学、とりわけ圏論において、圏同値（けんどうち、）とはふたつの圏が「本質的には同じである」という関係のことをいう。
多くの分野で圏同値の例がある。
圏同値を示すことで、対象になっている数学的な構造の間に強い相関関係があることがわかる。
場合によっては、その構造は表面的には無関係に見えるので、圏同値は有用である；
つまりある定理を異なる数学的構造の定理に「翻訳」できることがある。

もしある圏が別の圏の双対圏と圏同値ならば、ふたつの圏は双対同値と言い、圏双対について論じることができる。

圏同値は圏の間の「可逆な」関手から成る。
しかしながら代数的な設定の下における同型とは異なり、関手とその「逆関手」の合成が恒等写像である必要はない。
その代わりに各対象が合成の像と自然同型であればよい。
そのため、このことはふたつの関手が「同型を除いて逆関手」であると言われたりする。
実際にという概念もあり、こちらは本当に関手が逆関手であることを要求するが、圏同値の概念に比べると実用性を欠く。

 定義 

形式的には、ふたつの圏  と  の圏同値はふたつの関手 ,  とふたつの自然同型 ,  から成る。
ここで ,  はそれぞれ  と  の合成を表し、,  は圏 ,  上の恒等関手を表す。
もし ,  が反変関手のときは、代わりに圏双対と言う。

実際には上のすべての情報が指定されないこともしばしばである。
たとえば、ふたつの圏 ,  の間に圏同値（圏双対）があるときに、圏 ,  は圏同値
（圏双対）であると言ったりする。
さらに逆関手  や自然同型  が存在するときに、関手  が圏同値であると言ったりもする。
しかし関手  に関する知識から普通は逆関手  と自然同型  を復元することはできず、いくつもの可能性が残ることがある。

 特徴づけ 

関手  が圏同値を定める必要十分条件は以下の3条件を満たすことである。
 充満関手   任意の  のふたつの対象  について、関手  の誘導する写像  は全射
 忠実関手   任意の  のふたつの対象  について、関手  の誘導する写像  は単射
 本質的全射  任意の  の対象  は  のある対象  の像  と同型

随伴関手と密接に関連する概念もある。
関手 ,  について次の3つの条件は同値である。
 自然同型 ,  が存在する
  は  の左随伴関手で、ふたつの関手は充満かつ忠実である
  は  の右随伴関手で、ふたつの関手は充満かつ忠実である
したがってふたつの関手の間の随伴性は「非常に弱い形の同値関係」と見ることもできる。
随伴関手の間の自然変換が与えられているとすると、これらすべての定式化から必要な情報を明示的に構成することができて、どれを選ぶか決める必要がない。
ここで証明しなければならない要となる性質は随伴の counit が同型である必要十分条件が右随伴が充満かつ忠実となることである。

 例 

 1つの対象  と1つの射  を持つ圏  と2つの対象  と4つの射 (2つの恒等射  と2つの同型射 、) を持つ圏  を考える。,  は圏同値である。たとえば、 を  に移す関手  と  のすべての対象を  に移し、すべての射を  に移す関手  を取れば良い。

 一方、1つの対象と1つの射を持つ圏  と2つの対象と2つの恒等射のみを持つ圏  は  の2つの対象が同型ではないので、圏同値ではない。

 性質 
大雑把に述べて圏同値は「圏論的な」すべての概念と性質を保つ。たとえば  が圏同値のとき次が成り立つ。

 圏  の対象  が始対象（あるいは終対象、零対象）である必要十分条件は圏  の対象  がそうであることである。
 圏  の射  が単射（あるいは全射、同型射）である必要十分条件は圏  の射  がそうであることである。
 関手  が極限（あるいは余極限)  を持つ必要十分条件は関手  が極限（あるいは余極限）  を持つことである。これは等化子、直積、や直和などにも適用できる。核や余核に適用すれば圏同値  は完全関手であることがわかる。
 圏  がデカルト閉（あるいはトポス）である必要十分条件は圏  がそうであることである。

双対性はすべての概念を「逆転」させる。始対象は終対象に、単射は全射に、核は余核に、直積は直和になど。

 を圏同値とし、 と  を関手  の逆とすれば、 と  は自然同型である。

 を圏同値とし、圏  が前加法圏（あるいは、アーベル圏）ならば関手  が加法的になるようにして圏  もそうなる。一方、加法的圏の間の圏同値は加法的でなければならない。（最後の主張は前加法圏の間では正しいとは限らない。）

圏  の自己同値とは圏同値  のことである。圏  の自己同値は自然同型な自己同値を同一視することによって合成に関して群をなす。この群は本質的に圏  の「対称性」を捉えている。（注意：もし  が小圏でなければ、圏  の自己同値は集合ではなくクラスをなすかもしれない。）

 参考文献 

Category:圏論
Category:同値 (数学)
Category:数学に関する記事