sheaf

设$\mathcal{C}$是一个site，我们知道$\mathcal{C}$上的sheaf定义为满足下列条件的presheaf $F$：对于任意sieve $R\hookrightarrow X$, 典范映射 $$\mathrm{Hom}(X,F)\to\mathrm{Hom}(R,F)$$ 是双 ......