任意の前層は表現可能関手の帰納極限として書けるが，表現可能関手の射影極限には条件がつく． 圏 上の前層の圏を とする． に対し，圏 を次のように定義する． 対象は ． 射 は で をみたすもの． 関手 を で定義する． に対し， から定数関手 への自然変換…