>>764の修正

C を前加法圏（過去スレpart2の589）とする。
C^o を C の双対圏（代数的整数論017の304）とする。
Ab を小さいアーベル群（過去スレpart2の893）の圏とする。
F: C^o → Ab を加法的関手（過去スレpart2の589）とする。
F は (X, e) で表現されるとする（>>762）。
このとき、任意の Y ∈ C と任意の s ∈ F(Y) に対して
s = F(f)(e) となる射 f：Y → X が一意に存在する。