圏論においてカン拡張(カンかくちょう、Kan extension)とは普遍性を持つ構成の一種である。 カン拡張は随伴関手と近い関係を持つばかりでなく、圏における極限概念やエンドとも関係している。カン拡張の名は1960年に極限を用いてこの拡張を構成した ダニエル・カンの名に由来している。黎明期のカン拡張はホモロジー代数で導来関手を求める際に使われていた。
圏論の基礎( ソーンダース・マックレーン 著)においてMac Laneは「すべての概念はカン拡張である」と述べ、さらには「カン拡張には圏論における基本的な概念がすべて含まれている」とまで述べている。
ある部分集合上で定義された関数を全体集合にまで拡張する操作を一般化したものがカン拡張である。カン拡張の定義は、当然のように高度に抽象化されている。特別な場合として、半順序集合の場合には、カン拡張は'constrained optimization'の問題となり比較的馴染み深いものになる。
3つの圏
および二つの関手
- ,
が与えられたとき、に沿ったのカン拡張は「左」カン拡張と「右」カン拡張の2種類がある。
どちらも、次の図式の破線で書かれた関手と2-セルを見つけることに相当する。
形式的には、のに沿った右カン拡張とは関手と自然変換で余普遍性をもつもののことをいう。これは、任意の関手と自然変換 に対して、自然変換が一意的に定まって次の図式を可換にすることを意味する。
- (ここで、は各に対して、コンポーネントを持つ自然変換である)
関手Rはしばしばと書かれる。
圏論におけるほかの普遍的構成と同じようにして、「左」カン拡張は右カン拡張の双対概念として得られる。すなわち上記の自然変換たちの向きを単に逆にするだけである。(関手の間の自然変換 は、の任意の対象に対して、「自然な」性質を満たす射 で定まっていることに注意する。双対圏に変えるとき、のドメインと余ドメインが取り替えられて、は逆の方向に働くのである)。
つまり右カン拡張と同様にして次のように述べられる:
のに沿った左カン拡張とは関手 と自然変換で普遍性をもつもののことをいう。これは、任意の関手と自然変換 に対して、自然変換が一意的に定まって次の図式を可換にすることを意味する。
- (ここで、は各に対して、コンポーネントを持つ自然変換である)
そして関手Lはしばしばと書かれる。すべての普遍的構成と同様に、カン拡張も同型を除いて一意に定まる。左カン拡張の場合に関して言えば、もしのふたつがのに沿った左カン拡張で、が上記の自然変換だとするとき、図式を可換にするような関手の同型が一意に存在するのである。右カン拡張の場合も同様である。
とを関手とする。Aが小さい圏でCは余完備である場合は、のに沿った左カン拡張が存在して、Bの各対象bに対して
により定義される。ただし余極限はコンマ圏 の上で取られるとする。
双対的にAが小さい圏で Cが完備ならば、 のに沿った右カン拡張が存在し、極限として求められる。
2つの関手
- と
は、Mの任意の対象mとm' およびCの任意の対象cに対して、A上の余冪を持つとする。さらに以下の余エンドが任意のCの対象cに対して存在すれば、関手TはKに沿った左カン拡張Lを持ち、Cの任意の対象cに対し、
が成立する。
双対的に、右カン拡張も次の公式で計算できる。
- .
関手の極限はカン拡張で表現できる。
ここで、はから1(1つの対象と1つの射からなる圏、の終対象)への一意的な関手とする。
の余極限も同様に
- .
で表される。
|
---|
主要項目 | |
---|
関手 | |
---|
具体的圏 | |
---|
圏の類 | |
---|
一般化 | |
---|
人物 | |
---|
関連分野 | |
---|
関連項目 | |
---|
カテゴリ |