三要素：定义域、值域、对应关系；两函数相等看定义域与对应关系。
讲"抽象"这件事本身。
亚历山大·格罗滕迪克把抽象推到二十世纪的极致——他不满足于解一个题，他要重建承载这些题的地基。这一讲讲他买到了什么、代价是什么，以及"抽象是方法不是目的"这条界线。
