Kan拡張
(Kan extension から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/03/08 23:02 UTC 版)
圏論においてカン拡張(カンかくちょう、Kan extension)とは普遍性を持つ構成の一種である。 カン拡張は随伴関手と近い関係を持つばかりでなく、圏における極限概念やエンドとも関係している。カン拡張の名は1960年に極限を用いてこの拡張を構成した ダニエル・カンの名に由来している。黎明期のカン拡張はホモロジー代数で導来関手を求める際に使われていた。 圏論の基礎( ソーンダース・マックレーン 著)においてMac Laneは「すべての概念はカン拡張である」と述べ、さらには「カン拡張には圏論における基本的な概念がすべて含まれている」とまで述べている。
- 1 Kan拡張とは
- 2 Kan拡張の概要
- 3 定義
- 4 性質
- 5 参考文献
- Kan拡張のページへのリンク