Kan拡張

圏論においてカン拡張（カンかくちょう、Kan extension）とは普遍性を持つ構成の一種である。カン拡張は随伴関手と近い関係を持つばかりでなく、圏における極限概念やエンドとも関係している。

この神経はここで途切れています。