前層は表現可能関手の帰納極限になる． 前層の圏上の恒等関手＝米田関手の米田関手による左 Kan 拡張． これを一つの前層に作用させることで，その前層を表現可能関手の帰納極限として書くことができる． http://d.hatena.ne.jp/yoshitake-h/20121215