圏 と関手 に対し， 関手 と自然変換 の組 の中で initial なものを， に沿った の 左 Kan 拡張 という． 関手 と自然変換 の組 の中で terminal なものを， に沿った の 右 Kan 拡張 という． 圏 を次のように定義する． 対象は，関手 と自然変換 の組 から…