随伴関手のソースを表示

[[数学]]の特に[[圏論]]における'''随伴'''（ずいはん、{{lang-en-short|''adjunction''}}）とは、二つの[[関手]]の間の（ある種の[[双対]]的な）関係のことである（随伴関係にある関手を持つ関手もあれば、持たない関手もある）。直感的に言えば、二つの相互に関連する圏の間に認められる、弱い[[同値関係|同値]]的な関係のことである。この関係を表す関手のペアを随伴関手と呼び、片方を左随伴、もう片方を右随伴と呼ぶ。随伴の概念・随伴関手のペアは数学に遍在し、最適化や効率に関する直観的概念を明らかにし、また、ある種の数学的問題の"解決法の最適化"を行う過程で見出される(代数における[[自由群|集合上の自由群]]の構成や、位相空間におけるStone–Čech compactification([[:en:Stone–Čech_compactification|英語版]])の構成などがその例である。

圏 <math display="inline">\mathcal{C}</math> と <math display="inline">\mathcal{D}</math> の間の随伴とは、二つの関手
: <math>F\colon \mathcal{D} \to \mathcal{C},\quad G\colon \mathcal{C} \to \mathcal{D}</math>
の対であって、圏 <math display="inline">\mathcal{C}</math> の任意の対象 {{mvar|X}}、圏 <math display="inline">\mathcal{D}</math> の任意の対象 {{mvar|Y}} に対して、集合の[[全単射]]
: <math>\operatorname{hom}_{\mathcal{C}}(FY,X) \cong \operatorname{hom}_{\mathcal{D}}(Y,GX)</math>
が存在して、これが {{mvar|X}} と {{mvar|Y}} について[[自然変換|自然]]となるものを言う。このとき、関手 {{mvar|F}} を'''左随伴函手'''と呼び、他方 {{mvar|G}} を'''右随伴函手'''と呼ぶ。また、「{{mvar|F}} は {{math|G}} の左随伴である」 (同じことだが、「{{mvar|G}} は {{mvar|F}} の右随伴である」)という関係を
: <math>F\dashv G</math>
と書く。

== 導入 ==
{{quote|The slogan is &ldquo;Adjoint functors arise everywhere.&rdquo; |[[Saunders Mac Lane]]|{{harv|Mac Lane|1998|page=vii}}}}

この記事の[[随伴関手#例|たくさんの例]]ではよい数学的構造の多くが随伴関手であることを少しだけ紹介する。
このことは、左(右)随伴関手に関する一般的な定理、たとえば色々な定義のしかたの同値性や[[極限|余極限(極限)]]を保存するという定理(このことは数学の全ての分野で見つかる)から、多くの役に立つ・非自明な結果を導くことが出来る。

=== 綴り ===

"adjunct"と"adjunction"と"adjoint"というように、二つの異なる[[語根]]が使われる(例えば、この記事の英語版)。Oxford shorter English dictionaryによると、"adjunct"はラテン語由来であり、"adjoint"はフランス語由来である。

Mac Lane 著 Categories for the working mathematician 第4章 "Adjoints" においては、次のように使われているのが確認できる。

{{quotation|
<math>\varphi\colon \operatorname{hom}_{\mathcal{C}}(FY,X) \cong \operatorname{hom}_{\mathcal{D}}(Y,GX)</math>

The hom-set bijection <math>\varphi</math> is an "adjunction".

If <math>f</math> an arrow in <math> \operatorname{hom}_{\mathcal{C}}(FY,X) </math>, <math>\varphi f</math> is the right "adjunct" of <math>f</math> (p. 81).

The functor <math> F </math> is left "adjoint" for <math>G</math>.
}}

== 動機 ==

===最適化問題の解として===
随伴関手は各種の問題に''決まりきった''方法を使って''もっとも効率的な''解を与える方法といえる。たとえば、[[環論]]の初等的な問題として、[[擬環|非単位的環]]を環に変える問題がある。
''もっとも効率的に''行うには、'1'を追加し、環の公理で要求されている元(環の各元''r''に対する''r''+1等)を全て(そして最小限を)追加し、公理が要求する以上の関係は持たない新しい環を構成すればよい。さらに、この構成方法は本質的にはどの非単位的環についても同じやりかたになる。

曖昧にして示唆的であるが、圏論の言語によって次のように簡潔に表現できる。
:「構成が''もっとも効率的''であるとは普遍的であること、''決まりきった''とは関手を定めることとする。」
ここで、普遍的であるということには「始」普遍的と「終」普遍的の2つの種類があり、これらは双対であるので、片方のみについて考えるだけで十分である。

「始」の場合の普遍性とは、問題を記述できる圏''E''を準備して、構成したいものが''E''の[[始対象]]になるようにすることである。この方法の利点は、[[上限 (数学)|上限]]を求めることと同様に、''最適化''(ここでは、''もっとも効率的な''解を見つけること)が正確な結果を与え、認識しやすいことにある。正しい''E''を選ぶには少しこつがいる。たとえば、単位的でない環''R''があった場合に、圏''E''の対象は非単位的環の準同型 ''R'' → ''S'' であって、''S''が乗法的単位元をもつものであるする。対象 ''R'' → ''S<sub>1</sub>'' と 対象''R'' → ''S<sub>2</sub>'' の間の射は[[可換図式|三角可換図式]](''R'' → ''S<sub>1</sub>'',''R'' → ''S<sub>2</sub>'', ''S<sub>1</sub>'' → ''S<sub>2</sub>'')のうち、S<sub>1</sub> → S<sub>2</sub> が単位元を保存する環の準同型になっているとする。対象 ''R'' → ''S<sub>1</sub>'' と 対象''R'' → ''S<sub>2</sub>'' の間に射が存在するということは、''S<sub>1</sub>'' は少なくとも ''S<sub>2</sub>'' よりも''より効率的な''解であることを示している。すなわち、''S<sub>2</sub>'' は ''S<sub>1</sub>'' よりも多くの元を持っていたり、公理にない関係を満たすことが可能である。よって、''R'' → ''R*'' が ''E'' の始対象であるということは、始対象からは''E'' の他のどの対象へも射が存在するということから、''R*'' は''もっとも効率的な''解であることがいえる。

非単位的環を環に変えるこの方法が''もっとも効率的''で''決まりきった''方法であるということを、この方法が''随伴関手''を定めていると一言で表現することができる。
<!-- 原文でコメントアウトされてた
One way to see what is achieved by using either formulation is to try a direct method. One simply adds to ''R'' a new element 1, and calculates on the basis that any equation resulting is valid ''[[if and only if]] it holds for all rings'' that we can create from ''R'' and 1. This is an [[impredicative]] method: meaning that the ring we are trying to construct is one of the rings quantified over in 'all rings'.
-->
<!-- 原文でコメントアウトされてた
More explicitly:  Let ''F'' denote the above process of adjoining an identity to a rng, so ''F''(''R'')=''R''*.  Let ''G'' denote the process of “forgetting″ whether a ring ''S'' has an identity and considering it simply as a rng, so essentially ''G''(''S'')=''S''.   If we understand the definition of adjoint functors via universal properties, then saying that ''F'' is the ''left adjoint functor'' of ''G'' will be a precise way of saying that ''F'' is the most efficient solution to our problem (and is formulaic).
-->

===最適化問題の逆===

次に、関手''F''から''始めた''場合では「''F''がもっとも効率的な解となる問題は存在するのか？」という(曖昧な)質問が可能である。

''F''が''G''問題の''もっとも効率的な解''であるということは、ある意味では正確に、''G''が''F''が解となる''もっとも難しい問題''であることと同値となる。{{Citation needed|date=March 2011}}

これが随伴関手が対となって現れることの直観的な解釈であり、実際これは正しいが、普遍射を使った定義では自明ではない。随伴関手を用いた対称形の随伴の定義(''F''は''G''の左随伴であると言ってもよいし、''G''は''F''の右随伴であると言ってもよい)を使うことで、このことが明示的になるという利点がある。

==形式的な定義==

随伴関手の定義はさまざまな方法がある。これらの同値性は基本的な事実であるが自明ではないため非常に有用である。この記事ではいくつかの定義を与える。

* 普遍射を用いた定義は書くのが簡単で、随伴関手を構成したり、随伴であることを証明する場合に必要な検証項目が少ない。最適化に対する直観にもっとも近い方法である。
* 余単位-単位随伴を用いた定義は随伴関手であることが分かっている関手に関係する証明を書くのに便利である、なぜなら、直接操作できる公式を持つからである。
* hom集合を用いた定義はもっとも対称性がわかりやすい、これが''随伴''という単語を使う理由である。

随伴関手は数学の全ての分野に現れる。これらの定義が持つ構造を他の定義が持つ構造に持ち上げるためには長いが明らかな証明が必要であり、このことが随伴を完全に有用なものにしている。随伴の各定義を行き交うことは、各分野で繰り返し行われてきた退屈な部分を暗黙に使っていることになる。例えばcounitが終対象であり自然であることから全ての右随伴関手が極限を保存することを証明できる。

===記法の約束===

随伴の理論は基礎付けに「左」と「右」という言葉を用い、また考えるべき二つの圏 {{mvar|𝒞}} と {{mvar|𝒟}} の中にはたくさんの構成要素が存在している。そこで、「左」の圏 {{mvar|𝒞}} からとったのか「右」の圏 {{mvar|𝒟}} から取ったのかを、この左、右の順で付ける文字がアルファベット順となるようにし、またできうる限りこの順で書き下すようにすると非常に便利である。

この記事では例えば、''X''、''F''、''f''、''ε'' は圏''C''から、''Y''、''G''、''g''、''η'' は圏''D''から取ってくるものとする。そして、可能な場合は、この順で左から右に使うもとのする(例えば、関手 ''F'':''C''←''D'' は''C''から取ってきたものと考える)

===普遍射による定義===

関手 ''F'' : ''C'' ← ''D'' が'''左随伴関手'''であるとは、''C''の各対象''X''に対して、''F''から''X''への[[普遍射]]が存在することである。''C''の各対象''X''に関して''D''の対象''G''<sub>0</sub>''X''と''F''から''X''への普遍射ε<sub>''X''</sub> : ''F''(''G''<sub>0</sub>''X'') → ''X''を決めると、関手''G'' : ''C'' → ''D''で、''GX'' = ''G''<sub>0</sub>''X''と、任意の''C''の射''f'' : ''X'' → ''Xʹ''についてε<sub>''Xʹ''</sub> <math>\circ</math> ''FG''(''f'') = ''f'' <math>\circ</math> ε<sub>''X''</sub>が成り立つものが一意的に存在する。このとき、''F''は''G''の'''左随伴'''であるという。

関手 ''G'' : ''C'' → ''D'' が'''右随伴関手'''であるとは、''D''の各対象''Y''に対して、''Y''から''G''への普遍射が存在することである。''D''の各対象''Y''に関して''C''の対象''F''<sub>0</sub>''Y''と''Y''から''G''への普遍射η<sub>''Y''</sub> : ''Y'' → ''G''(''F''<sub>0</sub>''Y'')を決めると、関手''F'' : ''C'' ← ''D''で、''FY'' = ''F''<sub>0</sub>''Y''と、任意の''D''の射''g'' : ''Y'' → ''Yʹ''について''GF''(''g'') <math>\circ</math> η<sub>''Y''</sub> = η<sub>''Yʹ''</sub> <math>\circ</math> ''g''が成り立つものが一意的に存在する。このとき、''G''は''F''の'''右随伴'''であるという。

''' ''注意'' '''

用語から分かるように、''F''が''Gの左随伴''であることと''G''が''Fの右随伴''であることが同値であることは正しい。これは下記の対称的な定義では明らかである。普遍射を用いた定義は、与えられた関手が左または右随伴関手であることだけを確かめたいときに、必要な証明が最小限となるため、しばしば有用である。また、普遍射を求めることは最適化問題を解くことと似ているため、直観的でもある。

===余単位-単位随伴による定義===

圏''C''と''D''の'''余単位-単位随伴'''は2つの関手 ''F'' : ''C'' ← ''D'' と ''G'' : ''C'' → ''D'' および2つの自然変換（それぞれ、この随伴の余単位射および単位射と呼ばれる）
:<math>\begin{align}
\varepsilon\colon& FG \to 1_{\mathcal C} \\
\eta\colon &1_{\mathcal D} \to GF\end{align}</math>
であって、これらの合成
:<math>F\xrightarrow{\;F\eta\;}FGF\xrightarrow{\;\varepsilon F\,}F</math>
:<math>G\xrightarrow{\;\eta G\;}GFG\xrightarrow{\;G \varepsilon\,}G</math>
がそれぞれ、''F''と''G''上の恒等変換1<sub>''F''</sub> and 1<sub>''G''</sub>となることをいい、これらの自然変換をそれぞれ'''counit'''と'''unit'''と呼ぶ。

このとき、''' ''F''は''G''の左随伴'''であり''' ''G''は''F''の右随伴'''であるという。この関係を<math>(\varepsilon,\eta):F\dashv G</math>、または単に<math>F\dashv G</math>と書く。

(ε,η)に関する上の条件を等式で書くと、'''counit-unit恒等式'''と呼ばれる
:<math>\begin{align}
1_F &= \varepsilon F\circ F\eta\\
1_G &= G\varepsilon \circ \eta G
\end{align}</math>
となり、これは''C''の各対象''X''と''D''の各対象''Y''について
:<math>\begin{align}
1_{FY} &= \varepsilon_{FY}\circ F(\eta_Y) \\
1_{GX} &= G(\varepsilon_X)\circ\eta_{GX}
\end{align}</math>.
が成り立つことを意味する。

これらの等式は随伴関手を代数的に操作する証明を短くするのに有用である。対応する[[string diaglam]]での見た目から、これはときに''ジグザグ恒等式''と呼ばれる。この等式を覚えるには、まず、無意味な等式<math>1=\varepsilon\circ\eta</math>を書き下し、簡単なやり方で合成が正しく定義されるように''F''と''G''を追加すればよい。

注: ここでのcounitの"co"という接頭辞は極限(limit)や余極限(colimit)での用法とは一貫していない。なぜなら、余極限は「始」普遍性を満たすのに対し、counitの定める射は「終」普遍性を満たすからである。これらの双対についても同様である。ここでの''unit''という用語は[[モナド (圏論)|モナド]]からの借用であり、恒等射1をモノイドに埋め込むところから来ている。

===hom集合随伴===

圏''C''と''D''の間の'''hom集合の随伴'''は2つの関手 ''F'' : ''C'' ← ''D'' と ''G'' : ''C'' → ''D'' および、自然同型
:<math>\Phi:\mathrm{hom}_C(F-,-) \to \mathrm{hom}_D(-,G-)</math>
のことをいう。これは''C''の各対象''X''と''D''の各対象''Y''で添え字付けられた全単射の族
:<math>\Phi_{Y,X}:\mathrm{hom}_C(FY,X) \to \mathrm{hom}_D(Y,GX)</math>.
を定める。

このとき、''' ''F''は''G''の左随伴'''であり''' ''G''は''F''の右随伴'''であるという。この関係を<math>\Phi:F\dashv G</math>、または単に<math>F\dashv G</math>と書く。

この定義は普遍射を使ったものより少し確認することが多くて、すぐに得られる結果は余単位-単位随伴より少なくなるという論理的な折衷になっている。明らかな対称性や他の定義の間の架け橋にることは有用である。

Φが自然同型であるというときは、hom<sub>''C''</sub>(''F''–, –) と hom<sub>''D''</sub>(–, ''G''–) が関手であると考える必要がある。実際、これらは''D''<sup>op</sup> × ''C''から'''Set'''([[集合の圏]])への双関手である。詳しくは[[Hom関手]]の項目を参照せよ。明示的に書くと、Φの自然性というのは、全ての''C''の射 ''f'' : ''X'' → ''X′''と全ての''D''の射''g'' : ''Y′'' → ''Y''について、以下の図式が可換になることをいう。

[[Image:AdjointFunctorsHomSets.png|center|Naturality of Φ]]

この図式の縦方向の射は''f''や''g''を合成することで誘導される射である。

==随伴の全容==

以上のことから、随伴にはたくさんの関手や自然変換を持っているが、その一部を決めるだけで他のものは決定される。

圏''C''と''D''の間の随伴は以下のものから構成される。
* '''左随伴'''と呼ばれる関手''F'' : ''C'' ← ''D''
* '''右随伴'''と呼ばれる関手''G'' : ''C'' → ''D''
* 自然同型Φ : hom<sub>''C''</sub>(''F''–,–) → hom<sub>''D''</sub>(–,''G''–)
* '''余単位'''と呼ばれる自然変換 ε : ''FG'' → 1<sub>''C''</sub>
* '''単位'''と呼ばれる自然変換 η : 1<sub>''D''</sub> → ''GF''

等価な定式化として、''X''を''C''の任意の対象とし''Y''を''D''の任意の対象としたとき、

''全ての''C''の射<math>f : FY \to X </math>に対して、''D''の射<math>\Phi_{Y,X}(f) = g : Y \to GX</math>で、以下の図式を可換にするものが唯一つ存在し、全ての''D''の射<math>g : Y \to GX</math>に対して、''C''の射<math>\Phi_{Y,X}^{-1}(g) = f : FY \to X</math>で、以下の図式を可換にするものが唯一つ存在する''

[[Image:AdjointFunctorSymmetry.png|center]]

このことを使うと、以下に挙げる復元が可能である
* 変換ε、η、Φは以下の等式で関連付けられる。
:<math>\begin{align}
f = \Phi_{Y,X}^{-1}(g) &= \varepsilon_X\circ F(g) & \in & \, \, \mathrm{hom}_C(F(Y),X)\\
g = \Phi_{Y,X}(f) &= G(f)\circ \eta_Y & \in & \, \, \mathrm{hom}_D(Y,G(X))\\
\Phi_{GX,X}^{-1}(1_{GX}) &= \varepsilon_X  & \in & \, \, \mathrm{hom}_C(FG(X),X)\\
\Phi_{Y,FY}(1_{FY}) &= \eta_Y & \in & \, \, \mathrm{hom}_D(Y,GF(Y))\\
\end{align}
</math>
* 変換ε、ηは余単位-単位恒等式を満たす
:<math>\begin{align}
1_F &= \varepsilon F\circ F\eta\\
1_G &= G\varepsilon \circ \eta G
\end{align}</math>
* ''C''において、各対<math>(GX,\varepsilon_X)</math>は''F''から''X''への普遍射である
* ''D''において、各対<math>(FY,\eta_Y)</math>は''Y''から''G''への普遍射である

とくに、上記の等式によりΦ、ε、ηはこれらのうち1つを使って定めることができる。しかし、随伴関手''F''と''G''だけでは随伴を定めるには一般には十分ではない。以下では定義の同値性を解説する。

===普遍射がhom集合随伴を導くこと===

普遍射の意味での右随伴関手<math>G: C \to D</math>が与えられたとして、以下の手順を行う。

* 関手<math>F: C \gets D</math>と自然変換<math>\eta</math>を構成する
** ''D''の各対象''Y''に対して、''Y''から''G''への普遍射<math>(F(Y),\eta_Y)</math>を選ぶ。すなわち、<math>\eta_Y:Y\to G(F(Y))</math>が得られ、対象関数''F''と射の族<math>\eta</math>を得る
** 各射<math>f:Y_0\to Y_1</math>について、<math>(F(Y_0),\eta_{Y_0})</math>は普遍射であることから、<math>\eta_{Y_0}</math>を通して<math>\eta_{Y_1}\circ f</math>を分解し、<math>F(f):F(Y_0)\to F(Y_1)</math>を得る。これが''F''の射関数である
** 分解についての可換図式から自然変換としての可換図式が得られる。よって、<math>\eta:1_D \to G\circ F</math>は自然変換となる
** 分解の一意性と''G''が関手であることから、''F''の射関数が射の合成と恒等射を保存することがわかる
* 自然同型<math>\Phi:\mathrm{hom}_C(F-,-)\to\mathrm{hom}_D(-,G-)</math>を構成する
** ''C''の各対象''X''と''D''の各対象''Y''に対して、<math>(F(Y),\eta_Y)</math>は普遍射であることから、<math>\Phi_{Y,X}</math>は全単射となる。ここで、<math>\Phi_{Y,X} (f:F(Y)\to X) = G(f)\circ\eta_Y</math>とする
** <math>\eta</math>が自然変換で、''G''が関手であることから、全ての''C''の対象<math>X_0</math>、<math>X_1</math>と''D''の対象<math>Y_0</math>、<math>Y_1</math>と全ての射<math>x:X_0\to X_1</math>と<math>y:Y_1\to Y_0</math>に対して、<math>\Phi_{Y_1,X_1}(x\circ f\circ F(y))
= G(x)\circ G(f)\circ G(F(y))\circ\eta_{Y_1}
= G(x)\circ G(f)\circ \eta_{Y_0}\circ y
= G(x)\circ \Phi_{Y_0,X_0}(f)\circ y</math>であり、Φは両方の引数に関して自然である。

同様の議論により普遍射による左随伴関手の定義からhom集合の随伴を構成することができる。(右随伴を元に構成するほうが普通である。なぜなら、随伴対の右随伴を包含関手や忘却関手により自明なやり方で定めることが多くあるからである。)

===余単位-単位随伴がhom集合随伴を導くこと===

関手 <math>F\colon C \leftarrow D</math> と <math>G\colon C \to D</math> およびcounit-unit随伴<math>(\varepsilon,\eta)\colon F\dashv G</math>が与えられたとして、hom集合の随伴

:<math>\Phi\colon\mathrm{hom}_C(F-,-)\to\mathrm{hom}_D(-,G-)</math>

を以下の手順で構成する。

* 射 <math>f\colon FY\to X</math> と <math>g\colon Y\to GX</math> に対して、
:<math>\begin{align}\Phi_{Y,X}(f) = G(f)\circ \eta_Y\\
\Psi_{Y,X}(g) = \varepsilon_X\circ F(g)\end{align}</math>
:と定めると、ηとεが自然であるため、ΦとΨも自然である。

* ''F''が関手であることと、εが自然であることcounit-unit恒等式<math>1_{FY} = \varepsilon_{FY}\circ F(\eta_Y)</math>を順番に使って、
:<math>\begin{align}
\Psi\Phi f &= \varepsilon_X\circ FG(f)\circ F(\eta_Y) \\
 &= f\circ \varepsilon_{FY}\circ F(\eta_Y) \\
 &= f\circ 1_{FY} = f\end{align}</math>
:を得る。よって、ΨΦは恒等変換である

* 双対的に、''G''が関手であること、ηが自然であることcounit-unit恒等式<math>1_{GX} = G(\varepsilon_X)\circ\eta_{GX}</math>を順番に使って、
:<math>\begin{align}
\Phi\Psi g &= G(\varepsilon_X)\circ GF(g)\circ\eta_Y \\
 &= G(\varepsilon_X)\circ\eta_{GX}\circ g \\
 &= 1_{GX}\circ g = g\end{align}</math>
:を得る。よって、ΦΨは恒等変換であり、Φ<sup>−1</sup> = Ψを逆写像としてΦは自然同型となる。

===hom集合随伴が上の全てを導くこと===

関手 <math>F\colon C \leftarrow D</math> と <math>G\colon C \to D</math> および、hom集合の随伴 <math>\Phi\colon\mathrm{hom}_C(F-,-)\to\mathrm{hom}_D(-,G-)</math> が与えられたとして、普遍射の族を導くcounit-unit随伴

:<math>(\varepsilon,\eta)\colon F\dashv G</math>&nbsp;,

を以下の手順で構成する。

* ''C''の各対象''X''に対して、<math>\varepsilon_X=\Phi_{GX,X}^{-1}(1_{GX})\in\mathrm{hom}_C(FGX,X)</math>とする。ここで、<math>1_{GX}\in\mathrm{hom}_D(GX,GX)</math>は恒等射である。
* ''D''の各対象''Y''に対して、<math>\eta_Y=\Phi_{Y,FY}(1_{FY})\in\mathrm{hom}_D(Y,GFY)</math>とする。ここで、<math>1_{FY}\in\mathrm{hom}_C(FY,FY)</math>は恒等射である。
* Φが全単射で自然であることから、各<math>(GX,\varepsilon_X)</math>は''F''から''X''への普遍射であり、各<math>(FY,\eta_Y)</math>は''Y''から''G''への普遍射である。
* Φが自然であることから、εとηの普遍性が導かれ、各射 ''f'': ''FY'' → ''X'' と ''g'': ''Y'' → ''GX'' に対して、2つの公式
:<math>\begin{align}\Phi_{Y,X}(f) = G(f)\circ \eta_Y\\
\Phi_{Y,X}^{-1}(g) = \varepsilon_X\circ F(g)\end{align}</math>
:が成立する(これはΦを完全に決定する)

* 二番目の公式の''X''に''FY''を代入し、''g''に<math>\eta_Y=\Phi_{Y,FY}(1_{FY})</math>を代入することで、1つ目のcounit-unit恒等式
:<math>1_{FY} = \varepsilon_{FY}\circ F(\eta_Y)</math>,
:を得る。一番目の公式の''Y''に''GX''を代入し、''f''に<math>\varepsilon_X=\Phi_{GX,X}^{-1}(1_{GX})</math>を代入することで、2つ目のcounit-unit恒等式
:<math>1_{GX} = G(\varepsilon_Y)\circ\eta_{GX}</math>
:を得る

==歴史==

===随伴の遍在性===

随伴関手の考えは[[ダニエル・カン]]によって1958年に定式化された。多くの圏論の概念と同様に、[[ホモロジー代数]]において計算を行おうとした際に必要になったために導入された。この問題のきれいで系統的な表現を与えようと向き合った人々は[[アーベル群]]の圏において

:hom(''F''(''X''), ''Y'') = hom(''X'', ''G''(''Y''))

のような関係があることに気づいていた。ここで、''F''は関手<math>- \otimes A</math>(つまり、''A''と[[テンソル積]]を取る)であり、''G''は関手hom(''A'',–)である。ここで''等号''を使うのは[[記号の乱用]]である。これらの群は実際には等しくないが、等しく見せるような''自然な''方法がある。自然に感じられる理由として、一番に、元々はこれらが''X'' × ''A''から''Y''への[[双線形写像]]の2つの異なった表現であるからである。しかし、これはテンソル積に関するいくぶん固有な話である。圏論においての全単射の自然性は自然同型の概念が元になっている。

この用語は[[ヒルベルト空間]]において、上記のhom集合の間の関係と似た関係<math>\langle Tx,y\rangle = \langle x,Uy\rangle</math>を満たす、[[随伴作用素]]''T''と''U''から来ている。''F''は''G''の''左随伴''といい、''G''は''F''の''右随伴''という。ただし、''G''自身も''F''とはかなり異なった右随伴を持ちうる(以下の例を見よ)。ある種の文脈においては、詳細なヒルベルト空間の随伴写像のアナロジーが可能である<ref>[http://www.arxiv.org/abs/q-alg/9609018 arXiv.org: John C. Baez ''Higher-Dimensional Algebra II: 2-Hilbert Spaces''].</ref>。

これらの随伴関手の対を探し始めると、実は[[抽象代数]]では非常にありふれたことであり、他の分野でも同様であることが分かる。以下の例の節ではこの証拠を与える。さらに、普遍的構成はもっと普通にたくさんの随伴関手の対に持ち上げることができる。

===様々な問題の定式化===

数学者は一般的には完全な随伴関手の概念を必要としているわけではない。彼らの解こうとしている問題にあっているかや証明に必要かどうかで必要な概念かどうかを判定している。圏論の初期段階である1950年代にはこれらの動機に大きく引っ張られていた。[[アレクサンドル・グロタンディーク]]の時代になって、圏論は他の仕事における指針として使われるようになった。はじめは[[関数解析]]と[[ホモロジー代数]]であり最終的には[[代数幾何]]で使用された。

彼が随伴関手の概念を分離したというのはおそらく誤っているといえるが、随伴の特別な役割についてグロタンディーク固有の認識はあった。例えば、彼の著名な業績のひとつに、相対型の[[セール双対性]]、くだいていうと、代数多様体の連続な族に関するセール双対性がある。この証明の全体は結局のところある関手の右随伴が存在するかということになる。これは完全に抽象的で非構成的であるが、それなりに強力でもある。

===半順序集合===

すべての[[半順序集合]]は圏とみなすことができる(''x'' ≤ ''y'' であるときに、またそのときのみ、 ''x''と''y''の間には1つだけ射があるとする)。2つの半順序集合の間の随伴関手対は[[ガロア接続]]と呼ばれる(そして、反変の場合は、''antitone''ガロア接続である)。ガロア接続の記事に多くの例がある。とくに[[ガロア理論]]が一番の例である。任意のガロア接続は[[閉包作用素]]や対応する閉じた要素間の逆順序を保存する全単射に持ち上げることが出来る。

ガロア群の場合と同様に、実際の興味はしばしば双対との対応(例えば、''antitone''順序の同型)を詳細化していくことにある。[[Irving Kaplansky|Kaplansky]]よるこのガロア理論の捕らえ方は、ここに一般的な構造があることへの認識に影響を与えた。

半順序の場合の随伴の定義は著しくつぶれているが、いくつかのテーマを与えてくれる。
* 随伴は双対や同型でなくてもよいが、これらに昇格する際の候補とすることが出来る
* 閉包作用素は対応するモナドによる随伴の存在を示すことがある([[Kuratowski closure axioms]]を参照)
* [[William Lawvere]]による非常に一般的な解説<ref>[[William Lawvere]], Adjointness in foundations, Dialectica, 1969, [http://www.tac.mta.ca/tac/reprints/articles/16/tr16abs.html available here]。今は異なる記法が使われる。Peter Smith [http://www.logicmatters.net/resources/pdfs/Galois.pdf in these lecture notes] よるより簡単な紹介は、先の記事の考えにも基づいている</ref> によると「構文と意味」は随伴である。つまり、''C''を全ての論理(公理化)からなる集合とし、''D''を全ての数学的構造からなる集合の冪集合とする。''C''の各理論''T''に対して、''F''(''T'')を公理''T''を満たす構造全てからなる集合とし、各数学的構造の族''S''に対して、''G''(''S'')は''S''の最小の公理化とする。このとき、''F''(''T'')が''S''の部分集合であることと、''G''(''S'')が''T''の論理的帰結であることは同値であり、「意味関手」''F''は「構文関手」''G''の左随伴である。
* 乗算の逆としての(一般の)演算としての除算は、多くの例があるが例えば、述語論理における含意の導入規則や、[[環のイデアル]]による[[イデアル商]]は、随伴を与えるものと見ることができる。

このような観察は全ての数学で価値のあるものである。

==例==
<!--This section could use more examples, and examples presented in a more consistent format.-->

===自由群===
<!--this section should be expanded-->

[[自由群]]の構成は極めて普通の随伴による構成であり、上記の詳細の分かりやすくて便利な例である。

関手''F'' : '''[[category of groups|Grp]]''' ← '''[[category of sets|Set]]'''は各集合''Y''に''Y''の要素の生成する自由群を対応させるものとし、関手''G'' : '''Grp''' → '''Set'''は群''X''にその台集合を対応させる[[忘却関手]]とする。以下に示すように''F''は''G''の左随伴となる。

'''「終」普遍射'''。各群''X''について、群''FGX''は''GX''の生成する、すなわち''X''の元たちが生成する自由群である。群の準同型<math>\varepsilon_X:FGX\to X</math>を''FGX''の生成元を対応する''X''の元に写すものとする。これは自由群の普遍性から常に存在する。このとき<math>(GX,\varepsilon_X)</math>は''F''から''X''への普遍射である。なぜなら、自由群''FZ''から''X''への群の準同型は<math>\varepsilon_X:FGX\to X</math>を通して、一意的な''Z''から''GX''への写像経由で分解されるからである。これは(''F'', ''G'')が随伴の対であることを意味する。

'''「始」普遍射'''。各集合''Y''に対して、''GFY''は単に''Y''の生成する自由群''FY''の台集合である。写像<math>\eta_Y:Y\to GFY</math>は生成元の包含により与えられる。各<math>(FY,\eta_Y)</math>は''Y''から''G''への普遍射である。なぜなら、''Y''から''GW''の台集合への写像は<math>\eta_Y:Y\to GFY</math>を通して、''FY''から''W''への一意的な群の準同型経由で分解されるからである。これも(''F'', ''G'')が随伴の対であることを意味する。

'''hom集合随伴'''。自由群''FY''から群''X''への群準同型は正確に集合''Y''から集合''GX''への写像に対応する。すなわち、''FY''から''X''への射は生成元への作用により完全に決定される。この対応が自然同型であることも直接確認できる。よって(''F'',''G'')に対応するhom集合の随伴が得られた。

'''余単位-単位随伴'''。εとηが自然であることは直接確かめられる。そして、余単位-単位随伴<math>(\varepsilon,\eta):F\dashv G</math>であることは以下のようにして示す。

'''1つ目の余単位-単位恒等式''' <math>1_F = \varepsilon F\circ F\eta</math>というのは各集合''Y''に対して、合成
:<math>FY\xrightarrow{\;F(\eta_Y)\;}FGFY\xrightarrow{\;\varepsilon_{FY}\,}FY</math>
が恒等射であるということである。途中の群''FGFY''は自由群''FY''の語たちから生成される自由群である。(以降、括弧でくくられた語は独立した生成元を表すことにする)。射<math>F(\eta_Y)</math>は''FY''から''FGFY''への群の単射準同型であり、''FY''の生成元''y''を対応する''FGFY''の生成元である長さ1の語 (''y'') に写す。射<math>\varepsilon_{FY}</math>は''FGFY''から''FY''への群の準同型であり、生成元を対応する''FY''の語に写す(つまり「括弧を外す」)。これらの合成はもちろん''FY''の恒等射である。

'''2つ目の余単位-単位恒等式''' <math>1_G = G\varepsilon \circ \eta G</math> というのは各群''X''に対して、合成
:&nbsp;<math>GX\xrightarrow{\;\eta_{GX}\;}GFGX\xrightarrow{\;G(\varepsilon_X)\,}GX</math>&nbsp;
が恒等射であるということである。途中の集合''GFGX''は単に''FGX''の台集合である。射<math>\eta_{GX}</math>は集合''GX''から集合''GFGX''への「生成元たちの包含」写像である。射<math>G(\varepsilon_X)</math>は集合''GFGX''から集合''GX''への写像で、''FGX''の生成元を''X''の元に写す(「括弧を外す」)という群の準同型の台である。これらの合成はもちろん''GX''の恒等射である。

===自由構成と忘却関手===

[[自由対象]]は全て[[忘却関手]]の左随伴の例となる。ここで忘却関手は代数的対象をその台集合に写す。これらの代数的な[[自由関手]]に対しても、上記の自由群に詳細に記述したものと同様のことが一般に成り立つ。

===対角関手と極限===
[[積 (圏論)|積]]、[[引き戻し (圏論)|引き戻し]]、[[等化子]]、[[核 (代数学)|核]]はどれも圏論的な極限の例である。全ての極限関手は対応する対角関手(考えている極限の種類から決まる)の右随伴である。随伴の余単位は極限対象からの(つまり、関手圏における、考えている極限に対応する対角関手からの)定義射を与える。以下に個々の例を示す。

* '''積''' 関手Π : '''Grp<sup>2</sup>''' → '''Grp'''を各対(''X''<sub>1</sub>, ''X<sub>2</sub>'')に直積群''X''<sub>1</sub>×''X''<sub>2</sub>を対応させるものとし、関手Δ : '''Grp<sup>2</sup>''' ← '''Grp''' を各群''X''に積圏'''Grp<sup>2</sup>'''の対象(''X'', ''X'')を対応させる対対角関手とする。直積群の普遍性からΠはΔの右随伴であることが分かる。この随伴のcounitは極限を定める''X''<sub>1</sub>×''X''<sub>2</sub>から''X''<sub>1</sub> と ''X''<sub>2</sub>への2つの射影の対である射である。unitは群''X''から''X''<sub>1</sub>×''X''<sub>2</sub>の中への''対角包含射''(''x''を(''x'', ''x'')に写す)である。

: 集合の[[デカルト積]]や環の直積や位相空間の直積なども同じである。さらに2つ以上の場合も素直な方法で拡張できる。もっと一般には、どの種類の極限も対角関手の右随伴である。

* '''核''' アーベル群の準同型の圏''D''を考える。''D''の2つの対象''f''<sub>1</sub> : ''A''<sub>1</sub> → ''B''<sub>1</sub> と''f''<sub>2</sub> : ''A''<sub>2</sub> → ''B''<sub>2</sub>に対して、''f''<sub>1</sub> から ''f''<sub>2</sub> への射は、対(''g''<sub>''A''</sub>, ''g''<sub>''B''</sub>)であって、''g<sub>B</sub>f''<sub>1</sub> = ''f''<sub>2</sub>''g<sub>A</sub>''を満たすもののことをいう。関手''G'' : ''D'' → '''Ab'''を各準同型をその核に対応させるものとし、関手''F'' : '''D''' ← '''Ab'''を各群''A''を群準同型''A'' → 0に対応させるものとする。''G''は''F''の右随伴であり、これは核の普遍性を示している。この随伴の余単位射は準同型の核をその始域に埋め込む射であり、単位射は群''A''を準同型''A'' → 0の核と同一視する射である。

: この例の適切な変種として、線形空間や加群の核関手も右随伴である。同様に、アーベル群や線形空間や加群の余核関手が左随伴であることも分かる。

===余極限と対角関手===
[[余積]]、[[押し出し (圏論)|押し出し]]、[[余等化子]]、[[余核]]はいずれも圏論における余極限の例えである。
全ての余極限関手は対応する対角関手(考えている余極限の種類から決まる)の左随伴である。随伴のunitは余極限対象への定義射を与える。以下に個々の例を示す。

* '''余積''' 関手''F'' : '''[[category of abelian groups|Ab]]''' ← '''Ab<sup>2</sup>'''を各アーベル群の対(''X''<sub>1</sub>, ''X''<sub>2</sub>)に直和を対応させるものとし、関手''G'' : '''Ab''' → '''Ab<sup>2</sup>'''を各アーベル群''Y''に対(''Y'', ''Y'')を対応させるものとする。このとき''F''は''G''の左随伴である。こちらも直和の普遍性から導かれる。この随伴のunitは''X''<sub>1</sub> と ''X''<sub>2</sub>から直和への包含写像の対からなる射であり、counitは(''X'',''X'')の直和から''X''への加算による射である(直和の元 (''a'', ''b'')に''X''の元 ''a''+''b'' を対応させる)

: 同様の例として加群や線形空間の直和や、群の自由積や集合の非交和がある。

===さらなる例===

==== 代数 ====

* '''非単位的環への単位元添加'''。これは動機の節で議論した例である。非単位的環 ''R'' が与えられたとして、''R''×'''Z'''を選び、'''Z'''双線形な積を(r,0)(0,1) = (0,1)(r,0) = (r,0)、 (r,0)(s,0) = (rs,0)、 (0,1)(0,1) = (0,1)で定めることにより、乗法単位元を追加することが出来る。この構成は環の台となる非単位的環を取る関手の左随伴である。
* '''環の拡大'''。''R''と''S''を環とし、ρ : ''R'' → ''S''を環の準同型とする。このとき''S''は「左」''R''-加群とみなすことができ、''S''との[[テンソル積]]は関手''F'' : ''R''-'''Mod''' → ''S''-'''Mod'''を引き起こす。そして、''F''は忘却関手''G'' : ''S''-'''Mod''' → ''R''-'''Mod'''の左随伴である。
* '''テンソル積構成'''。''R''を環、''M''を右''R''-加群とし、''M''とのテンソル積は関手''F'' : ''R''-'''Mod''' → '''Ab'''を引き起こす。関手''G'' : '''Ab''' → ''R''-'''Mod'''を、各アーベル群''A''に対して、''G''(''A'') = hom<sub>'''Z'''</sub>(''M'',''A'')で定めると、''F''の右随伴となる。
* '''群環構成'''。整係数[[モノイド環]]構成は[[モノイド]]から環への関手を与える。この関手は各環をその台となる乗法モノイドに写す関手の左随伴である。同様に整係数[[群環]]構成は群から環への関手を与え、各環をその[[単元群]]に写す関手の左随伴である。（整係数ではなく）係数体 {{mvar|K}} を与える場合、環の圏のかわりに {{math|K}}-代数の圏を使えば {{mvar|K}} 上のモノイド環や群環が得られる。
* '''商体構成'''。整域の圏で射を単射に限ったものを'''Dom'''<sub>m</sub>と書くことにする。忘却関手'''Field''' → '''Dom'''<sub>m</sub>は左随伴を持つ。これは全ての整域に[[商の体]]を割り当てる。
* '''多項式環'''。'''Ring'''<sub>*</sub>を基点付き可換環の圏とする(環''A''とその元''a''の対 (''A'', ''a'')を対象として、射はこの区別された元を保存する準同型とする)。忘却関手G:'''Ring'''<sub>*</sub> → '''Ring'''は左随伴を持ち、各環''R''に対して(''R''[''x''], ''x'')を割り当てる。ここで''R''[''x'']は''R''を係数とする[[多項式環]]である。
* '''アーベル化''': アーベル群から群への包含関手''G'' : '''Ab''' → '''Grp'''を考えると、[[交換子部分群#アーベル化|アーベル化]]と呼ばれる左随伴を持つ。これは各群''G''に商群''G''<sup>ab</sup>=''G''/[''G'',''G'']を割り当てる。
* '''グロタンディーク構成''': 発端は、[[K-理論]]において[[位相空間]]上の[[ベクトル束]]の圏が[[加群の直和|直和]]の下で可換モノイド構造を持つことである。各ベクトル束（の同値類）に加法逆元を形式的に追加することにより、このモノイドを[[グロタンディーク群]]と呼ばれる[[アーベル群]]にすることができる。同じことだが、各群を（逆元の存在を忘れることにより）その台となるモノイドへ写す函手は左随伴を持つ。このようなグロタンディーク構成は、自然数からの[[負の数|負]]の整数の構成をなぞるようにすることもできるし、[[存在定理]]として使うこともある。有限項演算の代数構造の場合に対しては、そのような構成の存在性は[[普遍代数学]]や[[モデル理論]]に言及することもできるし、圏論的に適当な形での証明としても自然に述べられる。
* 群の表現論における'''フロベニウス相互律'''によれば、表現の[[誘導表現|誘導]]は表現の制限の左随伴である。

====位相====

* '''左随伴と右随伴を持つ関手'''。''G'' を[[位相空間]]から集合への関手で、各位相空間にその台集合を割り当てるものとする (位相を忘れる)。''G'' は左随伴 ''F'' を持ち、集合 ''Y'' 上に[[離散位相]]を定める。''G'' は右随伴 ''H'' も持ち、''Y'' に[[密着位相]]を定める。
* '''懸垂とループ空間'''。位相空間''X''と''Y''に対して、''X''の[[懸垂 (位相幾何学)|懸垂]] ''SX''から''Y''への連続写像の[[ホモトピー類]]がなす空間 [''SX'', ''Y''] は''X''から''Y''の[[ループ空間]]Ω''Y''への連続写像のホモトピー類がなす空間と自然同型である。これは[[ホモトピー論]]で重要である。
* '''ストーン&ndash;チェックコンパクト化'''。'''KHaus'''を[[コンパクト]]{{要曖昧さ回避|date=2022年11月}}[[ハウスドルフ]]空間の圏とし、''G'' : '''KHaus''' → '''Top'''を位相空間の圏への包含関手とする。このとき、''G''は左随伴''F'' : '''Top''' → '''KHaus'''を持ち、[[コンパクト化#ストーン・チェックのコンパクト化|ストーン–チェックコンパクト化]]となる。この随伴のcounitは各位相空間''X''からそのストーン–チェックコンパクト化の中への連続写像である。''X''が[[チコノフ空間]]であるとき、またそのときのみ、この写像は[[埋め込み (数学)|埋め込み]](つまり、単射な連続開写像)である。
* '''層の順像と逆像'''。全ての連続写像''f'' : ''X'' → ''Y''は''X''上の[[層 (数学)|層]](集合の層、アーベル群の層、環の層など)から''Y''の対応する層への関手''f''<sub> ∗</sub>を誘導し、''[[順像関手]]''と呼ばれる。さらに、''Y''上のアーベル群の層から''X''上のアーベル群の層への関手 ''f''<sup> −1</sup> も誘導され、''[[逆像関手]]''と呼ばれる。''f''<sup> −1</sup> は ''f''<sub> ∗</sub> の左随伴である。ここで微妙な点は[[連接層]]での左随伴は(集合の)層のそれとは異なっていることである。
* '''sober化'''。[[ストーン双対性]]の記事にあるように、位相空間の圏と[[sober空間]]の圏は随伴である。特に、この記事は[[pointless topology]]で見つかった、sober空間とspatial localeの間の有名な双対性のための別の随伴も詳細に記述している。

====圏論====
* '''随伴の列'''。関手π<sub>0</sub>を各圏にその連結成分を与える関手とすると、これは各集合に離散圏を割り当てる関手''D''の左随伴である。さらに、''D''は圏に対象集合を割り当てる対象関手''U''の左随伴である。最後に、''U''は各集合にindiscrete圏を割り当てる関手の左随伴である。
* '''[[指数対象]]'''。[[デカルト閉圏]]において–×''A''で定まる自己関手''C'' → ''C''は右随伴–<sup>''A''</sup>を持つ。
<!--* '''Limits and Colimits.''' Limits and colimits can actually be viewed using adjoints when looking at functor categories. If C and D are two categories, then the functor '''limit''' from the category of functors from C to D to the category of constant functors from C to D which takes a given functor from C to D to its limit is in fact right-adjoint to the forgetful functor from the category of constant functors from C to D to the category of functors from C to D. Colimit is similarly the left-adjoint of this forgetful functor from the category of constant functors from C to D to the category of functors from C to D. -->

====Categorical logic====
{{Expand section|date=November 2009}}
* '''quantification''' Any morphism ''f'' : ''X'' → ''Y'' in a category with pullbacks induces a monotonous map <math>f^{*} : \text{Sub}(Y) \to \text{Sub}(X)</math> acting by pullbacks (A monotonous map is a functor if we consider the preorders as categories). If this functor has a left/right adjoint, the adjoint is called <math>\exists_f</math> and <math>\forall_f</math>, respectively.<ref>Saunders Mac Lane, Ieke Moerdijk, (1992) ''Sheaves in Geometry and Logic'' Springer-Verlag. ISBN 0-387-97710-4 ''See page 58''</ref>

: In the category of sets, if we choose subsets as the canonical subobjects, then these functions are given by:

::<math>(T \subseteq Y) \; \mapsto \; f^{*}(T)
= f^{-1}\lbrack T \rbrack</math>
::<math>(S \subseteq X) \; \mapsto \; \exists_f S
= \{ \; y \in Y \; \mid \; \exists x \in f^{-1}\lbrack \{y\} \rbrack, x \in S \; \}
= f\lbrack S \rbrack</math>
::<math>(S \subseteq X) \; \mapsto \; \forall_f S
= \{ \; y \in Y \; \mid \; \forall x \in f^{-1} \lbrack \{y\} \rbrack, x \in S \; \}</math>

:''See also [[powerset]] for a slightly simplified presentation.''

== 性質 ==

=== 存在性 ===

全ての関手 {{math|''G'': 𝒞 → 𝒟}} が左随伴を持つわけではない。{{mvar|𝒞}} が[[完備圏]]であるときは、左随伴を持つ関手は[[Peter J. Freyd]]の'''随伴関手定理'''「{{mvar|G}} が左随伴を持つための必要十分条件は、それが連続(極限を保つ)かつ、ある種の「集合性(小ささ)」条件をみたすことである」で特徴付けられる。具体的には、{{mvar|𝒟}} の各対象 {{mvar|Y}} に対して、'''集合'''(つまり[[真クラス]]でない集合という意味で「小さい」) ''I'' の元で添字付けられた射の族 {{math|''f''<sub>''i''</sub>: ''Y'' → ''G''(''X<sub>i</sub>'')}} が存在して、任意の射 {{math|''h'' : ''Y'' → ''G''(''X'')}} が適当な元 {{math|''i'' &isin; ''I''}} と射 {{math|''t'': ''X''<sub>''i''</sub> → ''X'' &isin; ''C''}} を用いて {{math|''h'' {{=}} ''G''(''t'') ∘ ''f''<sub>''i''</sub>}} と書けることが条件である。

同様のことが右随伴に関しても成り立つ。

===一意性===

関手''F'' : ''C'' ← ''D''が2つの右随伴''G''と''G′''を持つとすると、''G''と''G′''は自然同型である。左随伴についても同様である。

逆に、''F''が''G''の左随伴であり、''G''と''G′''が自然同型であるとすると、''F''は''G′''の左随伴でもある。より一般には、〈''F'', ''G'', ε, η〉が(ε,η)をcounit-unitとする随伴であり、
:σ : ''F'' → ''F''′
:τ : ''G'' → ''G''′
がともに自然同型であるとすると、〈''F''′, ''G''′, ε′, η′〉も随伴である。ここで、
:<math>\begin{align}
\eta' &= (\tau\ast\sigma)\circ\eta \\
\varepsilon' &= \varepsilon\circ(\sigma^{-1}\ast\tau^{-1}).
\end{align}</math>
であり、<math>\circ</math>は自然変換の垂直合成を表し、<math>\ast</math>は水平合成を表すとする。

===合成===

随伴は自然なやり方で合成できる。明示的に書くと、''C''と''D''との間の随伴〈''F'', ''G'', ε, η〉と''D''と''E''との間の随伴〈''F''′, ''G''′, ε′, η′〉が与えられたとき、関手
:<math>F' \circ F : \mathcal{C} \leftarrow \mathcal{E}</math>
は関手
:<math>G \circ G' : \mathcal{C} \to \mathcal{E}.</math>
の左随伴である。さらに詳しく書くと、''F''′ ''F''と''G'' ''G''′の間の随伴のunitとcounitは以下の合成で与えられる。
:<math>\begin{align}
&1_{\mathcal E} \xrightarrow{\eta} G F \xrightarrow{G \eta' F} G G' F' F \\
&F' F G G' \xrightarrow{F' \varepsilon G'} F' G' \xrightarrow{\varepsilon'} 1_{\mathcal C}.
\end{align}</math>
この新しい随伴は与えられた2つの随伴の合成と呼ばれる。

これにより、[[小さな圏]]を対象とし、随伴を射とする圏を作ることが出来る。

===極限の保存===

随伴のもっとも重要な性質は連続性である。左随伴を持つ全ての関手(つまり右随伴''である''関手)は''連続''である(つまり圏論での極限と可換である)。右随伴を持つ全ての関手(つまり左随伴''である''関手)は''余連続''である(つまり余極限と可換である)。

数学における多くの共通の構成は極限か余極限であるので、このことはたくさんの情報をもたらす。例えば。
* 対象の積に右随伴関手を適用した結果は像の積である
* 対象の余積に左随伴関手を適用した結果は像の余積である
* 全ての右随伴関手は[[完全関手|左完全]]である
* 全ての左随伴関手は[[完全関手|右完全]]である

===加法性===

''C''と''D''を[[前加法圏]]とし、''F'' : ''C'' ← ''D''を[[加法的関手]]とし、''G'' : ''C'' → ''D''が''F''の右随伴であるとすると、''G''も加法的関手であり、hom集合の全単射
:<math>\Phi_{Y,X} : \mathrm{hom}_{\mathcal C}(FY,X) \cong \mathrm{hom}_{\mathcal D}(Y,GX)</math>
は、実は、アーベル群の同型である。双対的に、''G''が加法的で、''F''が''G''の左随伴であるとすると、''F''もまた加法的である。

さらに、''C''と''D''を[[加法圏]](つまり、前加法圏であり有限[[双積]]をもつ)とすると、任意の随伴関手の対は自動的に加法的となる。

==関連==

===普遍的構成===

初めに書いたように、圏''C''と''D''の随伴は2つの普遍射の族に持ち上げることができる。片方は''C''の対象について、もう片方は''D''の対象についての普遍射である。逆に、''D''の各対象から関手''G'' : ''C'' → ''D''への普遍射が存在するとき、''G''は左随伴である。

しかし、普遍的構成は随伴関手よりもっと一般的である。普遍的構成は最適化問題に似ていて、随伴の対に持ち上げられるのは、この問題が全ての''D''の対象について解を持つときであり、またそのときに限る(''C''の対象についても同様)。

===圏同値===

関手''F'': ''C''→''D''が[[圏同値]]の片方であるとすると、同値のもう片方の左随伴である。つまり、unitとcounitがともに同型である随伴である。

全ての随伴〈''F'', ''G'', ε, η〉はある部分圏の同値性を拡張する。''C''の対象''X''でε<sub>''X''</sub>が同型射であるものからなる''C''の[[充満部分圏]]を''C''<sub>1</sub>とする。''D''の対象''Y''でη<sub>''Y''</sub>が同型射であるものかならる''D''の充満部分圏を''D''<sub>1</sub>とする。このとき、''F''と''G''をそれぞれ''D''<sub>1</sub> と ''C''<sub>1</sub>に制限した関手はこれらの部分圏の同値の反転となっている。

この意味で、随伴は''一般化された''逆元である。しかし、''F''の右逆(つまり、関手''G''であって''FG''が1<sub>''D''</sub>に自然同型なもの)は必ずしも''F''の右または左随伴になるとは限らない。随伴は''2方向に''一般化された逆である。

===モナド===

全ての随伴〈''F'', ''G'', ε, η〉は''D''における関連する[[モナド (圏論)|モナド]]〈''T'', η, μ〉に持ち上げることができる。関手
:<math>T : \mathcal{D} \to \mathcal{D}</math>
は''T'' = ''GF''で与えられる。モナドのunit
:<math>\eta : 1_{\mathcal{D}} \to T</math>
は随伴のunit ηそのものである。乗法の変換
:<math>\mu : T^2 \to T\,</math>
はμ = ''G''ε''F''で与えられる。双対的に、〈''FG'', ε, ''F''η''G''〉は''C''における[[コモナド]]を定める。

全てのモナドが随伴から作ることができる。実際、典型的なモナドは多くの随伴から上の方法を用いて構成されている。2つの構成[[Eilenberg–Moore algebra]]と[[クライスリ圏]]はモナドから随伴を構成する問題に対する、2つの両極端の解である。

== 脚注 ==
{{脚注の不足|date=2016年2月}}
{{reflist|30em}}

==参考文献==
*{{cite book | last1 = Adámek | first1 = Jiří | first2=Horst | last2=Herrlich | first3=George E. | last3=Strecker | year = 1990 | url = http://katmat.math.uni-bremen.de/acc/acc.pdf | format=PDF | title = Abstract and Concrete Categories. The joy of cats | publisher = John Wiley & Sons | isbn = 0-471-60922-6 | zbl=0695.18001 | ref = harv}}
*{{cite book | first = Saunders | last = Mac Lane | authorlink = Saunders Mac Lane | year = 1998 | title = Categories for the Working Mathematician | url = {{google books |MXboNPdTv7QC|plainurl=yes}}  | series = [[Graduate Texts in Mathematics]] | volume=5 | edition = 2nd | publisher = Springer-Verlag | isbn = 0-387-98403-8 | mr=1712872 | zbl=0906.18001 | ref = harv}}

==外部リンク==
*{{SpringerEOM | title=Adjoint functor | id=Adjoint_functor}}
*[http://www.youtube.com/view_play_list?p=54B49729E5102248 Adjunctions] Seven short lectures on adjunctions.

{{圏論}}
{{Functors}}

{{DEFAULTSORT:すいはんかんしゆ}}
[[Category:関手]]
[[Category:数学に関する記事]]