Kan拡張

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

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

定義

3つの圏

${\displaystyle \mathbf {A} ,\mathbf {B} ,\mathbf {C} }$

および二つの関手

${\displaystyle X\colon \mathbf {A} \to \mathbf {C} ,F\colon \mathbf {A} \to \mathbf {B} }$,

が与えられたとき、${\displaystyle F}$に沿った${\displaystyle X}$のカン拡張は「左」カン拡張と「右」カン拡張の2種類がある。

どちらも、次の図式の破線で書かれた関手と2-セル${\displaystyle \eta }$を見つけることに相当する。

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

(ここで、${\displaystyle \delta _{F}}$は各${\displaystyle a\in \mathbf {A} }$に対して、コンポーネント${\displaystyle \delta _{F}(a)=\delta (Fa)\colon MF(a)\to RF(a)}$を持つ自然変換である)

関手Rはしばしば${\displaystyle \operatorname {Ran} _{F}X}$と書かれる。

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

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

(ここで、${\displaystyle \sigma _{F}}$は各${\displaystyle a\in \mathbf {A} }$に対して、コンポーネント${\displaystyle \sigma _{F}(a)=\sigma (Fa)\colon LF(a)\to MF(a)}$を持つ自然変換である)

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

性質

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

${\displaystyle X:\mathbf {A} \to \mathbf {C} }$と${\displaystyle F:\mathbf {A} \to \mathbf {B} }$を関手とする。Aが小さい圏でCは余完備である場合は、${\displaystyle X}$の${\displaystyle F}$に沿った左カン拡張${\displaystyle \mathrm {Lan} _{F}X}$が存在して、Bの各対象bに対して

${\displaystyle (\mathrm {Lan} _{F}X)(b)=\varinjlim _{f:Fa\to b}X(a)}$

により定義される。ただし余極限はコンマ圏 ${\displaystyle (F\downarrow b)}$の上で取られるとする。

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

（余）エンドとしてのカン拡張

2つの関手

${\displaystyle K:\mathbf {M} \to \mathbf {C} }$ と ${\displaystyle T:\mathbf {M} \to \mathbf {A} }$

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

${\displaystyle Lc=(\mathrm {Lan} _{K}T)c=\int ^{m}\mathbf {C} (Km,c)\cdot Tm}$

が成立する。

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

${\displaystyle (\mathrm {Ran} _{K}T)c=\int _{m}Tm^{\mathbf {C} (c,Km)}}$.

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

関手${\displaystyle F:C\to D}$の極限はカン拡張で表現できる。

${\displaystyle \mathrm {lim} F=\mathrm {Ran} _{E}F}$

ここで、${\displaystyle E}$は${\displaystyle C}$から1（1つの対象と1つの射からなる圏、${\displaystyle Cat}$の終対象）への一意的な関手とする。

${\displaystyle F}$の余極限も同様に

${\displaystyle \mathrm {colim} F=\mathrm {Lan} _{E}F}$.

で表される。

参考文献

• Cartan, Henri; Eilenberg, Samuel (1956). Homological algebra. Princeton Mathematical Series. 19. Princeton, New Jersey: Princeton University Press. Zbl 0075.24305 
• Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. 5 (2nd ed.). New York, NY: Springer-Verlag. ISBN 0-387-98403-8. Zbl 0906.18001 

表 話 編 歴 圏論
主要項目	圏 射 エピ モニック 図式 可換図式 自然変換 圏同値 反対圏 始対象と終対象 普遍性 米田の補題 双対 極限 帰納極限 射影極限 積 余積 像 余像 等化子 余等化子 トポス 核 余核 引き戻し モナド Kan拡張
関手	加法的 完全 充満 随伴 対角 忠実 導来 表現可能 本質的全射 Hom関手
具体的圏	関手圏 前加法圏 集合の圏 マグマの圏 群の圏 アーベル群の圏 擬環の圏 環の圏 加群の圏 ベクトル空間の圏 多元環の圏 位相空間の圏 距離空間の圏 多様体の圏
圏の類	完備圏 コンマ圏 部分圏 モノイド閉圏 デカルト閉圏 アーベル圏 導来圏 クライスリ圏 デカルトモノイド圏
一般化	豊穣圏 2-圏 圏の圏
人物	ソーンダース・マックレーン サミュエル・アイレンベルグ アレクサンドル・グロタンディーク ウィリアム・ローヴェア ハインリッヒ・クライスリ
関連分野	代数幾何学 普遍代数 ホモロジー代数
関連項目	『圏論の基礎』
カテゴリ