随伴関手

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

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

## 導入

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

### 綴り

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

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

(FY,X) \cong \operatorname{hom}_{\mathcal{D}}(Y,GX)

The hom-set bijection \varphi is an "adjunction".

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

The functor  F  is left "adjoint" for G.
}}

## 動機

### 最適化問題の解として
随伴関手は各種の問題に*決まりきった*方法を使って*もっとも効率的な*解を与える方法といえる。たとえば、環論の初等的な問題として、非単位的環を環に変える問題がある。
*もっとも効率的に*行うには、'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>*)のうち、S1 → S2 が単位元を保存する環の準同型になっているとする。対象 *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** は*もっとも効率的な*解であることがいえる。

非単位的環を環に変えるこの方法が*もっとも効率的*で*決まりきった*方法であるということを、この方法が*随伴関手*を定めていると一言で表現することができる。

### 最適化問題の逆

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

*F*が*G*問題の*もっとも効率的な解*であるということは、ある意味では正確に、*G*が*F*が解となる*もっとも難しい問題*であることと同値となる。

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

## 形式的な定義

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

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

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

### 記法の約束

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

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

### 普遍射による定義

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

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

** ''注意'' **

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

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

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

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

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

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

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

### hom集合随伴

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

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

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

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

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

## 随伴の全容

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

圏*C*と*D*の間の随伴は以下のものから構成される。
* **左随伴**と呼ばれる関手*F* : *C* ← *D*
* **右随伴**と呼ばれる関手*G* : *C* → *D*
* 自然同型Φ : hom*C*(*F*–,–) → hom*D*(–,*G*–)
* **余単位**と呼ばれる自然変換 ε : *FG* → 1*C*
* **単位**と呼ばれる自然変換 η : 1*D* → *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>で、以下の図式を可換にするものが唯一つ存在する*

このことを使うと、以下に挙げる復元が可能である
* 変換ε、η、Φは以下の等式で関連付けられる。
:\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}

* 変換ε、ηは余単位-単位恒等式を満たす
:\begin{align}
1_F &= \varepsilon F\circ F\eta\\
1_G &= G\varepsilon \circ \eta G
\end{align}
* *C*において、各対(GX,\varepsilon_X)は*F*から*X*への普遍射である
* *D*において、各対(FY,\eta_Y)は*Y*から*G*への普遍射である

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

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

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

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

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

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

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

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

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

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

* *F*が関手であることと、εが自然であることcounit-unit恒等式1_{FY} = \varepsilon_{FY}\circ F(\eta_Y)を順番に使って、
:\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}
:を得る。よって、ΨΦは恒等変換である

* 双対的に、*G*が関手であること、ηが自然であることcounit-unit恒等式1_{GX} = G(\varepsilon_X)\circ\eta_{GX}を順番に使って、
:\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}
:を得る。よって、ΦΨは恒等変換であり、Φ−1 = Ψを逆写像としてΦは自然同型となる。

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

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

:(\varepsilon,\eta)\colon F\dashv G&nbsp;,

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

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

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

## 歴史

### 随伴の遍在性

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

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

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

この用語はヒルベルト空間において、上記のhom集合の間の関係と似た関係\langle Tx,y\rangle = \langle x,Uy\rangleを満たす、随伴作用素*T*と*U*から来ている。*F*は*G*の*左随伴*といい、*G*は*F*の*右随伴*という。ただし、*G*自身も*F*とはかなり異なった右随伴を持ちうる(以下の例を見よ)。ある種の文脈においては、詳細なヒルベルト空間の随伴写像のアナロジーが可能である。

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

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

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

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

### 半順序集合

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

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

半順序の場合の随伴の定義は著しくつぶれているが、いくつかのテーマを与えてくれる。
* 随伴は双対や同型でなくてもよいが、これらに昇格する際の候補とすることが出来る
* 閉包作用素は対応するモナドによる随伴の存在を示すことがある(Kuratowski closure axiomsを参照)
* William Lawvereによる非常に一般的な解説 によると「構文と意味」は随伴である。つまり、*C*を全ての論理(公理化)からなる集合とし、*D*を全ての数学的構造からなる集合の冪集合とする。*C*の各理論*T*に対して、*F*(*T*)を公理*T*を満たす構造全てからなる集合とし、各数学的構造の族*S*に対して、*G*(*S*)は*S*の最小の公理化とする。このとき、*F*(*T*)が*S*の部分集合であることと、*G*(*S*)が*T*の論理的帰結であることは同値であり、「意味関手」*F*は「構文関手」*G*の左随伴である。
* 乗算の逆としての(一般の)演算としての除算は、多くの例があるが例えば、述語論理における含意の導入規則や、環のイデアルによるイデアル商は、随伴を与えるものと見ることができる。

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

## 例

### 自由群

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

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

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

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

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

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

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

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

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

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

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

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

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

* **核** アーベル群の準同型の圏*D*を考える。*D*の2つの対象*f*1 : *A*1 → *B*1 と*f*2 : *A*2 → *B*2に対して、*f*1 から *f*2 への射は、対(*g**A*, *g**B*)であって、*g<sub>B</sub>f*1 = *f*2*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*1, *X*2)に直和を対応させるものとし、関手*G* : **Ab** → **Ab<sup>2</sup>**を各アーベル群*Y*に対(*Y*, *Y*)を対応させるものとする。このとき*F*は*G*の左随伴である。こちらも直和の普遍性から導かれる。この随伴のunitは*X*1 と *X*2から直和への包含写像の対からなる射であり、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**Z**(*M*,*A*)で定めると、*F*の右随伴となる。
* **群環構成**。整係数モノイド環構成はモノイドから環への関手を与える。この関手は各環をその台となる乗法モノイドに写す関手の左随伴である。同様に整係数群環構成は群から環への関手を与え、各環をその単元群に写す関手の左随伴である。（整係数ではなく）係数体  を与える場合、環の圏のかわりに -代数の圏を使えば  上のモノイド環や群環が得られる。
* **商体構成**。整域の圏で射を単射に限ったものを**Dom**mと書くことにする。忘却関手**Field** → **Dom**mは左随伴を持つ。これは全ての整域に商の体を割り当てる。
* **多項式環**。**Ring***を基点付き可換環の圏とする(環*A*とその元*a*の対 (*A*, *a*)を対象として、射はこの区別された元を保存する準同型とする)。忘却関手G:**Ring*** → **Ring**は左随伴を持ち、各環*R*に対して(*R*[*x*], *x*)を割り当てる。ここで*R*[*x*]は*R*を係数とする多項式環である。
* **アーベル化**: アーベル群から群への包含関手*G* : **Ab** → **Grp**を考えると、アーベル化と呼ばれる左随伴を持つ。これは各群*G*に商群*G*ab=*G*/[*G*,*G*]を割り当てる。
* **グロタンディーク構成**: 発端は、K-理論において位相空間上のベクトル束の圏が直和の下で可換モノイド構造を持つことである。各ベクトル束（の同値類）に加法逆元を形式的に追加することにより、このモノイドをグロタンディーク群と呼ばれるアーベル群にすることができる。同じことだが、各群を（逆元の存在を忘れることにより）その台となるモノイドへ写す函手は左随伴を持つ。このようなグロタンディーク構成は、自然数からの負の整数の構成をなぞるようにすることもできるし、存在定理として使うこともある。有限項演算の代数構造の場合に対しては、そのような構成の存在性は普遍代数学やモデル理論に言及することもできるし、圏論的に適当な形での証明としても自然に述べられる。
* 群の表現論における**フロベニウス相互律**によれば、表現の誘導は表現の制限の左随伴である。

#### 位相

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

#### 圏論
* **随伴の列**。関手π0を各圏にその連結成分を与える関手とすると、これは各集合に離散圏を割り当てる関手*D*の左随伴である。さらに、*D*は圏に対象集合を割り当てる対象関手*U*の左随伴である。最後に、*U*は各集合にindiscrete圏を割り当てる関手の左随伴である。
* **[[指数対象]]**。デカルト閉圏において–×*A*で定まる自己関手*C* → *C*は右随伴–*A*を持つ。

#### Categorical logic

* **quantification** Any morphism *f* : *X* → *Y* in a category with pullbacks induces a monotonous map f^{*} : \text{Sub}(Y) \to \text{Sub}(X) 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 \exists_f and \forall_f, respectively.

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

::(T \subseteq Y) \; \mapsto \; f^{*}(T)
= f^{-1}\lbrack T \rbrack
::(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
::(S \subseteq X) \; \mapsto \; \forall_f S
= \{ \; y \in Y \; \mid \; \forall x \in f^{-1} \lbrack \{y\} \rbrack, x \in S \; \}

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

## 性質

### 存在性

全ての関手  が左随伴を持つわけではない。 が完備圏であるときは、左随伴を持つ関手はPeter J. Freydの**随伴関手定理**「 が左随伴を持つための必要十分条件は、それが連続(極限を保つ)かつ、ある種の「集合性(小ささ)」条件をみたすことである」で特徴付けられる。具体的には、 の各対象  に対して、**集合**(つまり真クラスでない集合という意味で「小さい」) *I* の元で添字付けられた射の族  が存在して、任意の射  が適当な元  と射  を用いて  と書けることが条件である。

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

### 一意性

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

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

### 合成

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

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

### 極限の保存

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

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

### 加法性

*C*と*D*を前加法圏とし、*F* : *C* ← *D*を加法的関手とし、*G* : *C* → *D*が*F*の右随伴であるとすると、*G*も加法的関手であり、hom集合の全単射
:\Phi_{Y,X} : \mathrm{hom}_{\mathcal C}(FY,X) \cong \mathrm{hom}_{\mathcal D}(Y,GX)
は、実は、アーベル群の同型である。双対的に、*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*でε*X*が同型射であるものからなる*C*の充満部分圏を*C*1とする。*D*の対象*Y*でη*Y*が同型射であるものかならる*D*の充満部分圏を*D*1とする。このとき、*F*と*G*をそれぞれ*D*1 と *C*1に制限した関手はこれらの部分圏の同値の反転となっている。

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

### モナド

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

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

## 脚注

## 参考文献
*
*

## 外部リンク
*
*Adjunctions Seven short lectures on adjunctions.