Algebraic geometry
20 世紀の半ば以降アレクサンドル・グロタンディークらによって代数幾何学の圏論的な定式化が追求された。