Kan拡張のソースを表示

{{出典の明記|date=2023年12月}}
[[圏論]]において'''カン拡張'''（カンかくちょう、''Kan extension''）とは[[普遍性]]を持つ構成の一種である。 カン拡張は[[随伴関手]]と近い関係を持つばかりでなく、圏における[[極限]]概念や[[End (category theory)|エンド]]とも関係している。カン拡張の名は1960年に極限を用いてこの拡張を構成した [[ダニエル・カン]]の名に由来している。黎明期のカン拡張は[[ホモロジー代数]]で[[導来関手]]を求める際に使われていた。
''[[圏論の基礎]]''（ [[ソーンダース・マックレーン]] 著）においてMac Laneは「すべての概念はカン拡張である」と述べ、さらには「カン拡張には圏論における基本的な概念がすべて含まれている」とまで述べている。

ある部分集合上で定義された関数を全体集合にまで拡張する操作を一般化したものがカン拡張である。カン拡張の定義は、当然のように高度に抽象化されている。特別な場合として、[[半順序集合]]の場合には、カン拡張は'constrained optimization'の問題となり比較的馴染み深いものになる。

==定義==
3つの圏
:<math>\mathbf{A},\mathbf{B},\mathbf{C}</math>

および二つの[[関手]]

:<math>X \colon \mathbf{A} \to \mathbf{C}, F \colon \mathbf{A} \to \mathbf{B}</math>,

が与えられたとき、<math>F</math>に沿った<math>X</math>のカン拡張は「左」カン拡張と「右」カン拡張の2種類がある。

どちらも、次の図式の破線で書かれた関手と2-セル<math>\eta</math>を見つけることに相当する。
:<div style="text-align: left;">[[File:Right Kan Extension.png|Right Kan Extension]]</div>

形式的には、''<math>X</math>の<math>F</math>に沿った右カン拡張''とは関手<math>R \colon \mathbf{B} \to \mathbf{C}</math>と自然変換<math>\eta \colon RF \to X</math>で余普遍性をもつもののことをいう。これは、任意の関手<math>M \colon \mathbf{B} \to \mathbf{C}</math>と自然変換 <math>\mu \colon MF \to X</math>に対して、自然変換<math>\delta \colon M \to R</math>が一意的に定まって次の図式を可換にすることを意味する。

:<div style="text-align: left;">[[Image:Right Kan extension universal property diagram.PNG]]</div>
:(ここで、<math>\delta_F</math>は各<math>a\in\mathbf{A}</math>に対して、コンポーネント<math>\delta_F(a) = \delta(Fa)\colon MF(a) \to RF(a)</math>を持つ自然変換である)

関手''R''はしばしば<math>\operatorname{Ran}_FX</math>と書かれる。

圏論におけるほかの普遍的構成と同じようにして、「左」カン拡張は右カン拡張の双対概念として得られる。すなわち上記の自然変換たちの向きを単に逆にするだけである。(関手<math>F,G \colon \mathbf{C} \to \mathbf{D}</math>の間の自然変換 <math>T</math>は、<math>\mathbf{C}</math>の任意の対象<math>a</math>に対して、「自然な」性質を満たす射 <math>T(a) \colon F(a) \to G(a)</math>で定まっていることに注意する。双対圏に変えるとき、<math>T(a)</math>のドメインと余ドメインが取り替えられて、<math>T</math>は逆の方向に働くのである)。

つまり右カン拡張と同様にして次のように述べられる:
''<math>X</math>の<math>F</math>に沿った左カン拡張''とは関手 <math>L \colon \mathbf{B} \to \mathbf{C}</math> と自然変換<math>\epsilon \colon X \to L F</math>で普遍性をもつもののことをいう。これは、任意の関手<math>M \colon \mathbf{B} \to \mathbf{C}</math>と自然変換 <math>\alpha \colon X \to MF</math>に対して、自然変換<math>\sigma \colon L \to M</math>が一意的に定まって次の図式を可換にすることを意味する。

:<div style="text-align: left;">[[Image:Kan extension universal property diagram.png]]</div>
:(ここで、<math>\sigma_F</math>は各<math>a\in\mathbf{A}</math>に対して、コンポーネント<math>\sigma_F(a) = \sigma(Fa)\colon LF(a) \to MF(a)</math>を持つ自然変換である)

そして関手''L''はしばしば<math>\operatorname{Lan}_FX</math>と書かれる。すべての普遍的構成と同様に、カン拡張も同型を除いて一意に定まる。左カン拡張の場合に関して言えば、もし<math>L, M</math>のふたつが<math>X</math>の<math>F</math>に沿った左カン拡張で、<math>\epsilon, \alpha</math>が上記の自然変換だとするとき、図式を可換にするような関手の同型<math>\sigma \colon L \to M</math>が一意に存在するのである。右カン拡張の場合も同様である。

==性質==
===（余）極限としてのカン拡張===
<math>X:\mathbf{A}\to\mathbf{C}</math>と<math>F:\mathbf{A}\to\mathbf{B}</math>を関手とする。'''A'''が小さい圏で'''C'''は余完備である場合は、<math>X</math>の<math>F</math>に沿った左カン拡張<math>\mathrm{Lan}_FX</math>が存在して、'''B'''の各対象'''b'''に対して
:<math>(\mathrm{Lan}_F X)(b) = \varinjlim_{f:Fa \to b} X(a)</math>
により定義される。ただし余極限はコンマ圏 <math>(F \downarrow b)</math>の上で取られるとする。

双対的に'''A'''が小さい圏で '''C'''が完備ならば、 <math>X</math>の<math>F</math>に沿った右カン拡張が存在し、極限として求められる。

===（余）エンドとしてのカン拡張===
2つの関手

:<math>K:\mathbf{M}\to\mathbf{C}</math> と <math>T:\mathbf{M}\to\mathbf{A}</math>

は、'''M'''の任意の対象''m''と''m' ''および'''C'''の任意の対象''c''に対して、'''A'''上の余冪<math>\mathbf{C}(Km',c)\cdot Tm</math>を持つとする。さらに以下の余エンドが任意の'''C'''の対象''c''に対して存在すれば、関手''T''は''K''に沿った左カン拡張''L''を持ち、'''C'''の任意の対象''c''に対し、

:<math>Lc=(\mathrm{Lan}_KT)c=\int^m\mathbf{C}(Km,c)\cdot Tm</math>

が成立する。

双対的に、右カン拡張も次の公式で計算できる。

:<math>(\mathrm{Ran}_KT)c=\int_mTm^{\mathbf{C}(c,Km)}</math>.

===カン拡張としての（余）極限===

関手<math>F:C\to D</math>の極限はカン拡張で表現できる。

:<math>\mathrm{lim}F=\mathrm{Ran}_E F</math>

ここで、<math>E</math>は<math>C</math>から'''1'''（1つの対象と1つの射からなる圏、<math>Cat</math>の終対象）への一意的な関手とする。

<math>F</math>の余極限も同様に

:<math>\mathrm{colim}F=\mathrm{Lan}_E F</math>.

で表される。

==参考文献==
* {{cite book | last1=Cartan | first1=Henri | author1-link=Henri Cartan | last2=Eilenberg | first2=Samuel 
| author2-link=Samuel Eilenberg | title=Homological algebra | series=Princeton Mathematical Series | 
volume=19 | location=Princeton, New Jersey | publisher=[[Princeton University Press]] | year=1956 | 
zbl=0075.24305 }} 
* {{cite book | last=Mac Lane | first=Saunders | authorlink=Saunders Mac Lane | title=[[Categories for the Working Mathematician]] | edition=2nd | series=[[Graduate Texts in Mathematics]] | volume=5 | location=New York, NY | publisher=[[Springer-Verlag]] | year=1998 | isbn=0-387-98403-8 | zbl=0906.18001 }}

{{圏論}}
{{DEFAULTSORT:かんかくちよう}}
[[Category:圏論]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]