1.公理主義
2.多様体
3.圏
4.層
5.スキーム
6.コホモロジー