関手

圏論における**関手**（かんしゅ、）は、圏から圏への構造と両立する対応付けである。関手によって一つの数学体系から別の体系への組織的な対応が定式化される。関手は「圏の圏」における射と考えることもできる。

## 概要
圏そのものはある種の数学的構造であるため、圏の構造を保存する対応関係も考えることができる。このような対応関係は関手と呼ばれる。関手は、ある圏の中の全ての対象を、別の圏の対象に、一方が持つ全ての射をもう一方の射に関連づける。圏と関手を調べることで、ある類における数学的構造とその間の射だけでなく、「数学的構造を持つ様々な類の間の関係」をも追求することができる。

多くの数学理論は、ある特別な種類の構造から、別のよりシンプルな、よりわかりやすい構造を引き出そうとする試みであった。例えば代数的位相幾何学の中心的なテーマは、位相幾何学における非常に難しい問題を、より簡単な代数的問題に関連づけることである。例えば、点付き位相空間に対してその基本群を対応させる「自然な対応」は関手を用いて得られると考えることができる。

基本群とホモロジー群のような「似た」数学的変換はしばしば「自然に」関連づけられているが、これは自然変換、すなわちある関手から別の関手への変換、という考え方によって理解される。

圏と関手の考え方を積極的に用いて以下のような概念が定められる。

### 関手圏
 は圏 **' から圏 **' への関手を対象とし、関手の間の自然変換を射とする圏である。米田の補題は圏論における最も有名な基礎的結果の1つである。この補題は、関手圏において表現可能な関手を記述する。

### 双対性
圏論におけるあらゆる言明、定理、定義はその**双対**を持つ。これらは基本的に「全ての射を逆向きにする」ことで得られる。ある圏 **' においてある言明が真のとき、その双対はその双対圏  において真である。この双対性は、圏論のレベルでは自動的に成立し非常に解りやすいものであるが、その応用においてはしばしば明らかではなく、驚くような関係性をもたらすことがある。

=== 随伴 ===
ある関手が他の関手に対し**左随伴**、もしくは**右随伴**であるということを定義できるが、多くの場合にこのような随伴関手の対は[[普遍性]]によって定義される構成から生まれる。これは、普遍性を調べるためのより抽象的で強力な手法を与えているとも考えられる。

==歴史==
関手の概念の萌芽は[[エヴァリスト・ガロア]]による[[群 (数学)|群]]を用いた[[代数方程式]]の研究に見ることができる。

20世紀初めの[[エミー・ネーター]]らによる[[環上の加群|加群]]の研究において拡大加群などさまざまな関手的構成が蓄積された。

20世紀半ばの[[代数的位相幾何学]]において実際に関手が定義され、図形から様々な「自然な」代数的構造を取り出す操作を定式化するために利用された。

ここでは（[[基本群]]のような）代数的対象が[[位相空間]]から導かれ、位相空間の間の[[連続写像]]は基本群の間の代数的[[準同型]]を導いている。

その後[[アレクサンドル・グロタンディーク]]らによる[[代数幾何学]]の変革の中で様々な数学的対象の関手による定式化が徹底的に追求された。

==定義==
=== 共変関手 ===
[[圏 (圏論)|圏]]  から圏  への関手、特に**共変関手**（きょうへんかんしゅ、） は、
*  の各[[対象 (圏論)|対象]]  を  の各対象  に対応させる
*  における[[射 (圏論)|射]]  を  における射  に対応させ、以下の性質を満たす
** 各対象  に対して ,
** 任意の射  および  に対して . 
すなわち、関手に対して恒等射および射の合成を保存することが要請される。

=== 反変関手 ===
関手に似た形式を持ちながら、射を反転させる（合成を逆向きにする）ような対応が多数存在する。そこで、 から  への **反変関手**（はんぺんかんしゅ、） が、各対象  を 対象  に対応させ、各射  を射  に対応させるとき、以下の性質
* 全ての対象  において ,
* 全ての射  および  に対して 
を満たすものとして定義される。

=== 注意 ===
 の[[双対圏]]  を考えるならば、反変関手  をかわりに（共変）関手 （場合によっては ）と見ることによって、共変関手の概念だけで処理することができる。

反変関手はまれに「余関手」（よかんしゅ、）と呼ばれることもあるが、圏論の文脈で「（圏論的）双対」（つまり「全ての矢印を逆向きにする」）を意味する接頭辞「余」の使い方とは乖離がある。（共変）関手  は射  を射  に対応させるものだが、ここで双対を得るために全ての矢印を逆向きにするなら射  に射  が対応することになる。これは結局のところ普通の共変関手の概念を表している。つまり関手とは自己双対的な概念であり、字義どおりにとらえるなら余関手と関手とは同じ概念を表している。

== 性質 ==
関手の[[公理]]からの重要な帰結として
*  は  における[[可換図式]]を  における可換図式へうつす。
*  が  における[[同型射]]ならば  は  における同型射
の二つがあげられる。

いかなる圏  においても、****（こうとうかんしゅ、） が、どの対象も射もそれ自身へうつすものとして定まる。函手  および  に対し、それらの合成  を考えることができる。関手の合成は、それが定義される限り結合的である。このことから、関手が[[圏の圏]]における射となることが示される。

唯一つの対象からなる圏は、射をその元とし、合成をその演算とするような[[モノイド]]と同値である。圏と見なしたモノイドの間の関手はモノイドの準同型に他ならない。その意味で、勝手な圏の間の関手は、モノイドの準同型の、二つ以上の対象を持つ圏へのある種の一般化になっている。

== 自然変換 ==

圏として定式化された数学理論の上に関手によってさまざまな自然な構成が与えられるが、自然変換によって2つの構成を比較する「自然な準同型」が記述される。時に2つの見かけ上異なった構成が同等の概念を定めていることがあるが、この状況は2つの関手の間の**自然同型**になっている自然変換によってとらえられる。

 が圏  と  の間の（共変）関手であるとき、 から  への**自然変換**  は  に含まれる全ての対象  に対し  の射  を与える。このとき、 の任意の射  に対し、 が成り立つ。 これは即ち、以下の図式[[画像:Natural transformation.svg|center|自然変換を定義する可換図式]]が[[可換図式|可換]]になることを意味している。

函手  から  への自然変換  が存在して  が  に含まれる全ての対象  に対して[[同型射]]となるとき、この自然変換は**自然同型**であるといい、 などと書く。圏  の間の関手  について自然同型  がともに成り立つならば  と  は同等なもの（**圏同値**）と見なされる（さらにこれら二つの自然同型 (≈) が厳密に等号 (=) で成り立つを考えることもできるが、実用上これは条件として強すぎる）。

 から  への関手を対象とし、関手の間の自然変換を射とすることで**関手圏**  が考えられる。こうして得られる圏に図式の圏や前層の圏、層の圏がある。また、群  が[[群の作用|作用]]する集合の圏は  を圏と見なしたときの  と同値になる。

== 関手に対する様々な条件 ==
以下  を関手とする。
; [[忠実関手]]と[[充満関手]]
:  の任意の対象  について  が[[モノ射|単射]]のとき  は**忠実**であるといい、この対応が[[エピ射|全射]]のとき  は**充満**であるという。
; [[随伴関手]]
: 函手  に対して函手  が  を満たすならば  は  の**左随伴**であると言い、  は  の**右随伴**であると言う。
; [[加法的関手]]
: 射の集合が[[アーベル群]]となっている圏（-豊饒圏）の間の函手が、射の集合の間の群準同型を与えるならば**加法的**であると言う。
; [[完全関手]]
: [[短完全列]] を短完全列に写すような関手は**完全**であると言い、完全関手は任意の完全系列を保つ。有限の極限のみを保つ関手は**左完全**、双対的に有限の余極限のみを保つ関手は**右完全**と言う。

== 表現可能関手 ==
圏  の対象  について  や  の形にかけるような  から [[集合の圏|**Sets**]] （または  の hom-集合の[[豊饒圏|構造]]を表すしかるべき圏）への関手は**表現可能関手**とよばれる。[[米田の補題]]によって表現可能関手たちとその間の自然変換はもとの圏の構造を完全に反映していることが知られる。数学のさまざまな場面で与えられた関手が表現可能であるかどうかやどんな対象によって表現されるか、あるいはその関手が表現可能になるように圏を変形できるかということが問題になる。

特定の形の図式に関する極限は図式圏への対角埋め込み関手に対する右随伴関手として定式化できる。[[テンソル積]]や対象積、交代積は多重線形写像の関手を表現するような対象として定式化できる。

==例==
; 
: 圏  から同じ圏  への関手は、**自己関手**（じこかんしゅ、）と呼ばれる。恒等関手は自己関手の自明な例である。また、圏  から、その[[部分圏]]  への関手は、圏  における自己関手でもある。
; 
: 空でない圏  の対象 ''X'' について、任意の圏  から  への ''X'' が定める**定関手**（ていかんしゅ、）を以下のようにして構成できる：  の全ての対象を ''X'' に写し、 の全ての射を ''X'' の恒等射に写す。定関手は  ともよばれる。
; 冪集合関手
: [[集合の圏]]  からそれ自身への関手  を、各集合をその[[冪集合]]へと写し、各写像  を写像  に写すことにより考えることができる。また写像  を  なる写像に対応させることで反変の冪集合関手を考えることもできる。反変版の冪集合関手は2点集合によって表現されている。
; 双対ベクトル空間
: [[可換体]]  上の[[ベクトル空間]]をその[[双対空間]]に対応させ、[[線型写像]]をその[[転置写像]]に対応させることで、-ベクトル空間の圏からそれ自身への反変関手が構成できる。
; [[基本群]]と[[基本亜群]]
: [[点つき位相空間]]、すなわち基点を伴った[[位相空間]]の圏を考える。その対象は位相空間  と  の固定した一点  の組  で、 から  への射は  となる（基点を基点に写す）[[連続写像]]  によって与えられる。
: 点つき位相空間   に対して、[[基本群]]  が  を基点とする  内のループの[[ホモトピー]]類のなす[[群 (数学)|群]]として定義できる。 が点つき位相空間の射ならば、 内の  を基点とした全ての閉道は、 を基点とする  内の閉道に写される。この操作は[[ホモトピー同値]]と閉道の合成とに両立するから  から  への群の[[準同型写像]]を得る。ここから、点つき位相空間の圏から群の圏への関手が得られる。
: 基点を特に指定しない位相空間の圏では一般のパスについて（端点を固定した）ホモトピー類を考えることができる。こうして位相空間の圏から小さな圏の圏への共変関手である[[基本亜群]]  が得られるが、これは  のそれぞれの点を基点にして得られる基本群と、パスの合成によって与えられる基点の取り替えを表現していると見なせる。連続写像  に対応する射  は函手  になっている。
; [[導来関手]]
:アーベル圏の上の（コ）ホモロジー的関手はしばしば片側完全関手の**導来関手**として定式化される。
; と[[自由関手]]
:  が、 の対象のうちでさらに付加的な構造を持つものの圏として定式化されているとき、 の対象の付加的な構造を無視することで  から  への**忘却関手**（ぼうきゃくかんしゅ、）を考えることができる。忘却関手の左随伴関手になっているような関手は**自由関手'''（じゆうかんしゅ、）とよばれる。
: 非常に単純な忘却関手として、アーベル群の交換法則を無視する忘却関手から群が得られ、群から逆元を無視してモノイドが、モノイドから単位元を無視して半群が得られるような忘却関手が挙げられる。
: また、複素数体上のベクトル空間の圏において、各ベクトル空間を単に集合と見なし、各線型写像を単に集合間の写像と見なして集合の圏への忘却関手を構成できる。各集合に対してその元の形式的な線型結合の空間を考えることで、この忘却関手に体する左随伴関手が構成される。
; 定数関数環
: 位相空間とその間の連続写像を射とする圏から実結合的多元環の圏への反変関手が、各位相空間  に対してその上の実数値連続関数全体の成す多元環  を対応させることによって定まる。各連続写像  は各  に対して  と置くことにより、多元環の準同型  を引き起こす。
; 接関手と余接関手
: 可微分多様体をその接ベクトル束へうつし、滑らかな写像をその微分にうつす写像は、可微分多様体の圏からベクトル束の圏への共変関手である。同様に、可微分多様体をその余接ベクトル束へうつし、滑らかな写像をそのへうつす写像は反変関手を定める。
: これらの構成を点ごとで考えると、基点付き可微分多様体の圏から実ベクトル空間の圏への共変および反変関手が得られる。
; リー環構成
: 実または複素リー群に対して、その付随する実または複素リー環を対応付けることで関手が定まる。
;テンソル積構成
:  をある固定された体上のベクトル空間の圏で、その射として線型写像をとるとき、テンソル積  は、どちらの引数に関しても共変な関手  を定める。

## 関連項目
*カン拡張

## 脚注

## 外部リンク
* 
* 
* 
* 
* 
*