Cを小圏としPsh(C)をC上のSet値を持つ前層の圏とする。 Psh(C)でのlimitは各点でlimitを取ればよい。 つまり(\lim_IF_i):x \mapsto \lim_IF_i(x)と定めればよい。 特にFとGの直積は(F \times G)(x)=F(x) \times G(x)で定まる。 一方presheaf G, Hのexponenti…