Kan拡張

ウィキペディア

Kan拡張

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/03/08 23:02 UTC 版)

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