在数学中，Grothendieck Topology是在抽象化与实用性间取得很好平衡的一个重要概念，挺有意思。这两篇简介写得比较清晰，适合阅读，不过diagram的数目少了很多，所以仍然不够清晰。
http://www.math.mcgill.ca/goren/SeminarOnCohomology/notex.ps
http://www.math.mcgill.ca/goren/SeminarOnCohomology/etale2.pdf

下面俺开始写写，计划包括基础的Derived Functor，Ext & Tor，Sheaf Cohomology，Cech Cohomology和Etale Topology，Etale Cohomology的简单计算等等，配图。

期待ing...

不多时日，想不到kanex已经修炼到如此程度了，
兄弟我就期待你的Etale Cohomology，其他的，我想只要学代数几何，都是比较初等的预备知识了。最重要的是在讲这些的时候，结合几何和数论背景，这样才有意义。现在，很多人论文开篇就是K理论，xxx cohomology，Mixed Motive等，其实，一点意义也没有。好象是在用华丽的锡箔纸包装一块臭骨头，这一点，Tao 在他的那篇数普文章里也讲到了。

偶然发现一点，其实可不可以这样看：考虑某个category，object是scheme，morphism是etale covering，那么Yoneda's Lemma告诉我们，要研究某scheme X，可以转而研究Hom(-, X)，其中有更多潜在信息。这就是etale topology的缘由了。

当然，单是这样还不够，因为site还包括一个核心定义：covering，这是定义sheaf所必须的信息。今晚考虑一下有什么最好的解释。