Cを小圏とし、PをSetに値を持つ前層C^o \to Setsとする。 このときPは表現可能関手の余極限である。 これを証明する。 Pの元の圏\int_CPを次で定義する。 対象は(c,x)でCのob cとPcの元xの組。 射(c,x) \to (c',x')はCの射c \to c'でx'|_c=xなるもの。 P = c…